Dave is green. Dave is red. Dave is young. Fiona is big. Gary is big. Gary is rough. Harry is quiet. If someone is quiet then they are red. If Fiona is red and Fiona is green then Fiona is blue. All big, quiet people are rough. Red, blue people are big. All quiet people are green. If someone is rough then they are blue. All big, quiet people are red. Blue people are quiet.
Harry is young.
@0: Dave is green.[(triple1)] Dave is red.[(triple2)] Dave is young.[(triple3)] Fiona is big.[(triple4)] Gary is big.[(triple5 OR ((((((((triple6) -> rule6)) -> rule8)) -> rule1) ((triple6) -> rule6)) -> rule4))] Gary is rough.[(triple6)] Harry is quiet.[(triple7)] @1: Gary is blue.[(((triple6) -> rule6))] Harry is green.[(((triple7) -> rule5))] Harry is red.[(((triple7) -> rule1))] @2: Gary is quiet.[(((((triple6) -> rule6)) -> rule8))] @3: Gary is green.[(((((((triple6) -> rule6)) -> rule8)) -> rule5))] Gary is red.[(((((((triple6) -> rule6)) -> rule8)) -> rule1) OR ((triple5 ((((triple6) -> rule6)) -> rule8)) -> rule7))]