Anne is nice. Charlie is not kind. Erin is big. Erin is green. Fiona is not cold. Fiona is nice. Fiona is smart. Green people are cold. If Anne is cold and Anne is not big then Anne is smart. Green people are nice. Big people are nice. Big, kind people are smart. If Charlie is cold then Charlie is white. If Anne is big then Anne is nice. If Erin is big and Erin is cold then Erin is kind.
Charlie is green.
@0: Anne is nice.[(triple1)] Charlie is not kind.[(triple2)] Erin is big.[(triple3)] Erin is green.[(triple4)] Fiona is nice.[(triple6)] Fiona is not cold.[(triple5)] Fiona is smart.[(triple7)] @1: Erin is cold.[(((triple4) -> rule1))] Erin is nice.[(((triple3) -> rule4) OR ((triple4) -> rule3))] @2: Erin is kind.[(((triple3 ((triple4) -> rule1)) -> rule8))] @3: Erin is smart.[(((triple3 ((triple3 ((triple4) -> rule1)) -> rule8)) -> rule5))]