Dave is young. Fiona is young. Gary is smart. Harry is red. Red people are not quiet. If someone is big then they are smart. Big, red people are smart. All young, smart people are green. If someone is quiet then they are young. All young people are big. If someone is quiet and not smart then they are round. Red people are round.
Fiona is green.
@0: Dave is young.[(triple1)] Fiona is young.[(triple2)] Gary is smart.[(triple3)] Harry is red.[(triple4)] @1: Dave is big.[(((triple1) -> rule6))] Fiona is big.[(((triple2) -> rule6))] Harry is not quiet.[(((triple4) -> rule1))] Harry is round.[(((triple4) -> rule8))] @2: Dave is smart.[(((((triple1) -> rule6)) -> rule2))] Fiona is smart.[(((((triple2) -> rule6)) -> rule2))] @3: Dave is green.[(((triple1 ((((triple1) -> rule6)) -> rule2)) -> rule4))] Fiona is green.[(((triple2 ((((triple2) -> rule6)) -> rule2)) -> rule4))]