Erin is nice. Erin is quiet. Erin is white. Fiona is young. Gary is smart. Gary is white. Harry is nice. If Erin is young then Erin is rough. All young things are smart. All quiet, smart things are rough. If something is nice then it is quiet. All smart, young things are round. All round, young things are nice.
Gary is smart.
@0: Erin is nice.[(triple1)] Erin is quiet.[(triple2 OR ((triple1) -> rule4))] Erin is white.[(triple3)] Fiona is young.[(triple4)] Gary is smart.[(triple5)] Gary is white.[(triple6)] Harry is nice.[(triple7)] @1: Fiona is smart.[(((triple4) -> rule2))] Harry is quiet.[(((triple7) -> rule4))] @2: Fiona is round.[(((((triple4) -> rule2) triple4) -> rule5))] @3: Fiona is nice.[(((((((triple4) -> rule2) triple4) -> rule5) triple4) -> rule6))] @4: Fiona is quiet.[(((((((((triple4) -> rule2) triple4) -> rule5) triple4) -> rule6)) -> rule4))] @5: Fiona is rough.[(((((((((((triple4) -> rule2) triple4) -> rule5) triple4) -> rule6)) -> rule4) ((triple4) -> rule2)) -> rule3))]