Anne is nice. Anne is smart. Bob is nice. Fiona is green. Fiona is nice. Gary is blue. Gary is smart. All red things are nice. Big things are kind. If Bob is smart then Bob is green. Blue things are green. Green, smart things are big. If something is red and blue then it is big. Nice things are red. All kind things are red.
Gary is not nice.
@0: Anne is nice.[(triple1)] Anne is smart.[(triple2)] Bob is nice.[(triple3)] Fiona is green.[(triple4)] Fiona is nice.[(triple5)] Gary is blue.[(triple6)] Gary is smart.[(triple7)] @1: Anne is red.[(((triple1) -> rule7))] Bob is red.[(((triple3) -> rule7))] Fiona is red.[(((triple5) -> rule7))] Gary is green.[(((triple6) -> rule4))] @2: Gary is big.[(((((triple6) -> rule4) triple7) -> rule5))] @3: Gary is kind.[(((((((triple6) -> rule4) triple7) -> rule5)) -> rule2))] @4: Gary is red.[(((((((((triple6) -> rule4) triple7) -> rule5)) -> rule2)) -> rule8))] @5: Gary is nice.[(((((((((((triple6) -> rule4) triple7) -> rule5)) -> rule2)) -> rule8)) -> rule1))]