Erin is big. Erin is cold. Erin is furry. Erin is rough. Erin is round. Fiona is not blue. Fiona is cold. Fiona is furry. Fiona is green. Fiona is rough. Fiona is round. Harry is big. Harry is blue. Harry is furry. Harry is green. Harry is round. If something is furry then it is cold. If something is blue and cold then it is not rough. Round, cold things are furry.
Erin is blue.
@0: Erin is big.[(triple1)] Erin is cold.[(triple2 OR ((triple3) -> rule1))] Erin is furry.[(triple3 OR ((triple5 triple2) -> rule3))] Erin is rough.[(triple4)] Erin is round.[(triple5)] Fiona is cold.[(triple7 OR ((triple8) -> rule1))] Fiona is furry.[(triple8 OR ((triple11 triple7) -> rule3))] Fiona is green.[(triple9)] Fiona is not blue.[(triple6)] Fiona is rough.[(triple10)] Fiona is round.[(triple11)] Harry is big.[(triple12)] Harry is blue.[(triple13)] Harry is furry.[(triple14)] Harry is green.[(triple15)] Harry is round.[(triple16)] @1: Harry is cold.[(((triple14) -> rule1))] @2: Harry is not rough.[(((triple13 ((triple14) -> rule1)) -> rule2))]