Anne is big. Anne is red. Fiona is big. Fiona is not round. Fiona is smart. Gary is furry. Gary is smart. If Anne is big and Anne is furry then Anne is blue. If someone is white then they are round. If Anne is blue then Anne is white. All red, big people are white. All white people are furry. If someone is furry then they are smart. If Gary is blue and Gary is not big then Gary is smart. If Fiona is red and Fiona is not furry then Fiona is smart.
Gary is not round.
@0: Anne is big.[(triple1)] Anne is red.[(triple2)] Fiona is big.[(triple3)] Fiona is not round.[(triple4)] Fiona is smart.[(triple5)] Gary is furry.[(triple6)] Gary is smart.[(triple7 OR ((triple6) -> rule6))] @1: Anne is white.[(((triple2 triple1) -> rule4))] @2: Anne is furry.[(((((triple2 triple1) -> rule4)) -> rule5))] Anne is round.[(((((triple2 triple1) -> rule4)) -> rule2))] @3: Anne is blue.[(((triple1 ((((triple2 triple1) -> rule4)) -> rule5)) -> rule1))] Anne is smart.[(((((((triple2 triple1) -> rule4)) -> rule5)) -> rule6))]