Dave is quiet. Fiona is big. Fiona is furry. Gary is round. Gary is young. Harry is quiet. Harry is rough. If someone is furry then they are rough. Big people are rough. If someone is rough then they are young. If someone is young and round then they are quiet. Big, young people are cold. Cold people are round. If someone is young and not furry then they are not round.
Gary is not big.
@0: Dave is quiet.[(triple1)] Fiona is big.[(triple2)] Fiona is furry.[(triple3)] Gary is round.[(triple4)] Gary is young.[(triple5)] Harry is quiet.[(triple6)] Harry is rough.[(triple7)] @1: Fiona is rough.[(((triple2) -> rule2) OR ((triple3) -> rule1))] Gary is quiet.[(((triple5 triple4) -> rule4))] Harry is young.[(((triple7) -> rule3))] @2: Fiona is young.[(((((triple2) -> rule2)) -> rule3) OR ((((triple3) -> rule1)) -> rule3))] @3: Fiona is cold.[(((triple2 ((((triple2) -> rule2)) -> rule3)) -> rule5) OR ((triple2 ((((triple3) -> rule1)) -> rule3)) -> rule5))] @4: Fiona is round.[(((((triple2 ((((triple2) -> rule2)) -> rule3)) -> rule5)) -> rule6) OR ((((triple2 ((((triple3) -> rule1)) -> rule3)) -> rule5)) -> rule6))] @5: Fiona is quiet.[(((((((triple2) -> rule2)) -> rule3) ((((triple2 ((((triple2) -> rule2)) -> rule3)) -> rule5)) -> rule6)) -> rule4) OR ((((((triple2) -> rule2)) -> rule3) ((((triple2 ((((triple3) -> rule1)) -> rule3)) -> rule5)) -> rule6)) -> rule4) OR ((((((triple3) -> rule1)) -> rule3) ((((triple2 ((((triple2) -> rule2)) -> rule3)) -> rule5)) -> rule6)) -> rule4) OR ((((((triple3) -> rule1)) -> rule3) ((((triple2 ((((triple3) -> rule1)) -> rule3)) -> rule5)) -> rule6)) -> rule4))]