Bob is big. Erin is nice. Fiona is round. Harry is blue. If someone is blue and big then they are white. If someone is rough then they are nice. If someone is nice then they are blue. Quiet people are big. If someone is quiet then they are white. Blue people are quiet.
Harry is not blue.
@0: Bob is big.[(triple1)] Erin is nice.[(triple2)] Fiona is round.[(triple3)] Harry is blue.[(triple4)] @1: Erin is blue.[(((triple2) -> rule3))] Harry is quiet.[(((triple4) -> rule6))] @2: Erin is quiet.[(((((triple2) -> rule3)) -> rule6))] Harry is big.[(((((triple4) -> rule6)) -> rule4))] Harry is white.[(((((triple4) -> rule6)) -> rule5) OR ((triple4 ((((triple4) -> rule6)) -> rule4)) -> rule1))] @3: Erin is big.[(((((((triple2) -> rule3)) -> rule6)) -> rule4))] Erin is white.[(((((((triple2) -> rule3)) -> rule6)) -> rule5) OR ((((triple2) -> rule3) ((((((triple2) -> rule3)) -> rule6)) -> rule4)) -> rule1))]