Bob is blue. Charlie is white. Erin is blue. Erin is round. Erin is white. Harry is smart. Harry is white. All round, cold things are blue. All big things are cold. All cold things are round. If something is cold then it is smart. If something is blue then it is big. If Charlie is blue then Charlie is smart. If Erin is nice then Erin is cold. If something is round and cold then it is blue.
Erin is cold.
@0: Bob is blue.[(triple1)] Charlie is white.[(triple2)] Erin is blue.[(triple3)] Erin is round.[(triple4 OR ((((((triple3) -> rule5)) -> rule2)) -> rule3))] Erin is white.[(triple5)] Harry is smart.[(triple6)] Harry is white.[(triple7)] @1: Bob is big.[(((triple1) -> rule5))] Erin is big.[(((triple3) -> rule5))] @2: Bob is cold.[(((((triple1) -> rule5)) -> rule2))] Erin is cold.[(((((triple3) -> rule5)) -> rule2))] @3: Bob is round.[(((((((triple1) -> rule5)) -> rule2)) -> rule3))] Bob is smart.[(((((((triple1) -> rule5)) -> rule2)) -> rule4))] Erin is smart.[(((((((triple3) -> rule5)) -> rule2)) -> rule4))]