Erin is quiet. Erin is rough. Erin is round. Fiona is rough. Gary is blue. Gary is quiet. Harry is furry. If Erin is big then Erin is quiet. If someone is smart then they are big. If Fiona is quiet then Fiona is blue. All big people are smart. Quiet people are rough. If someone is quiet and rough then they are smart.
Harry is not rough.
@0: Erin is quiet.[(triple1)] Erin is rough.[(triple2 OR ((triple1) -> rule5))] Erin is round.[(triple3)] Fiona is rough.[(triple4)] Gary is blue.[(triple5)] Gary is quiet.[(triple6)] Harry is furry.[(triple7)] @1: Erin is smart.[(((triple1 triple2) -> rule6) OR ((triple1 ((triple1) -> rule5)) -> rule6))] Gary is rough.[(((triple6) -> rule5))] @2: Erin is big.[(((((triple1 triple2) -> rule6)) -> rule2) OR ((((triple1 ((triple1) -> rule5)) -> rule6)) -> rule2))] Gary is smart.[(((triple6 ((triple6) -> rule5)) -> rule6))] @3: Gary is big.[(((((triple6 ((triple6) -> rule5)) -> rule6)) -> rule2))]