Anne is big. Charlie is smart. Gary is blue. White people are nice. Blue, white people are smart. All smart people are white. Quiet people are blue. If someone is young then they are nice. Blue people are smart. If Anne is big then Anne is white. All smart people are quiet.
Anne is not quiet.
@0: Anne is big.[(triple1)] Charlie is smart.[(triple2)] Gary is blue.[(triple3)] @1: Anne is white.[(((triple1) -> rule7))] Charlie is quiet.[(((triple2) -> rule8))] Charlie is white.[(((triple2) -> rule3))] Gary is smart.[(((triple3) -> rule6))] @2: Anne is nice.[(((((triple1) -> rule7)) -> rule1))] Charlie is blue.[(((((triple2) -> rule8)) -> rule4))] Charlie is nice.[(((((triple2) -> rule3)) -> rule1))] Gary is quiet.[(((((triple3) -> rule6)) -> rule8))] Gary is white.[(((((triple3) -> rule6)) -> rule3))] @3: Gary is nice.[(((((((triple3) -> rule6)) -> rule3)) -> rule1))]