Erin is blue. Erin is cold. Erin is round. Erin is smart. Fiona is blue. Fiona is furry. Fiona is rough. Fiona is round. Fiona is smart. Fiona is white. Harry is blue. Harry is cold. Harry is furry. Harry is rough. Harry is smart. Harry is white. If someone is rough then they are furry. All blue people are rough.
Erin is rough.
@0: Erin is blue.[(triple1)] Erin is cold.[(triple2)] Erin is round.[(triple3)] Erin is smart.[(triple4)] Fiona is blue.[(triple5)] Fiona is furry.[(triple6 OR ((triple7) -> rule1) OR ((((triple5) -> rule2)) -> rule1))] Fiona is rough.[(triple7 OR ((triple5) -> rule2))] Fiona is round.[(triple8)] Fiona is smart.[(triple9)] Fiona is white.[(triple10)] Harry is blue.[(triple11)] Harry is cold.[(triple12)] Harry is furry.[(triple13 OR ((triple14) -> rule1) OR ((((triple11) -> rule2)) -> rule1))] Harry is rough.[(triple14 OR ((triple11) -> rule2))] Harry is smart.[(triple15)] Harry is white.[(triple16)] @1: Erin is rough.[(((triple1) -> rule2))] @2: Erin is furry.[(((((triple1) -> rule2)) -> rule1))]