Erin is smart. Fiona is big. Fiona is cold. Fiona is furry. Fiona is quiet. Fiona is rough. Harry is cold. Harry is furry. Harry is rough. Harry is smart. All rough things are furry. All cold, rough things are big. All smart things are red.
Fiona is rough.
@0: Erin is smart.[(triple1)] Fiona is big.[(triple2 OR ((triple3 triple6) -> rule2))] Fiona is cold.[(triple3)] Fiona is furry.[(triple4 OR ((triple6) -> rule1))] Fiona is quiet.[(triple5)] Fiona is rough.[(triple6)] Harry is cold.[(triple7)] Harry is furry.[(triple8 OR ((triple9) -> rule1))] Harry is rough.[(triple9)] Harry is smart.[(triple10)] @1: Erin is red.[(((triple1) -> rule3))] Harry is big.[(((triple7 triple9) -> rule2))] Harry is red.[(((triple10) -> rule3))]