Dave is not green. Dave is white. Fiona is nice. Fiona is round. Gary is cold. Gary is not red. Harry is cold. If someone is cold and green then they are big. All nice people are green. Cold people are green. If Fiona is red then Fiona is cold. If Fiona is white and Fiona is not nice then Fiona is red. Nice people are red.
Gary is not nice.
@0: Dave is not green.[(triple1)] Dave is white.[(triple2)] Fiona is nice.[(triple3)] Fiona is round.[(triple4)] Gary is cold.[(triple5)] Gary is not red.[(triple6)] Harry is cold.[(triple7)] @1: Fiona is green.[(((triple3) -> rule2) OR ((((((triple3) -> rule6)) -> rule4)) -> rule3))] Fiona is red.[(((triple3) -> rule6))] Gary is green.[(((triple5) -> rule3))] Harry is green.[(((triple7) -> rule3))] @2: Fiona is cold.[(((((triple3) -> rule6)) -> rule4))] Gary is big.[(((triple5 ((triple5) -> rule3)) -> rule1))] Harry is big.[(((triple7 ((triple7) -> rule3)) -> rule1))] @3: Fiona is big.[(((((((triple3) -> rule6)) -> rule4) ((triple3) -> rule2)) -> rule1) OR ((((((triple3) -> rule6)) -> rule4) ((((((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule1))]