Erin is big. Erin is furry. Erin is green. Erin is kind. Erin is quiet. Erin is smart. Erin is young. Fiona is big. Fiona is furry. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is smart. Fiona is young. If Erin is quiet and Erin is green then Erin is smart.
Fiona is green.
@0: Erin is big.[(triple1)] Erin is furry.[(triple2)] Erin is green.[(triple3)] Erin is kind.[(triple4)] Erin is quiet.[(triple5)] Erin is smart.[(triple6 OR ((triple5 triple3) -> rule1))] Erin is young.[(triple7)] Fiona is big.[(triple8)] Fiona is furry.[(triple9)] Fiona is green.[(triple10)] Fiona is kind.[(triple11)] Fiona is quiet.[(triple12)] Fiona is smart.[(triple13)] Fiona is young.[(triple14)]