Bob is cold. Bob is furry. Bob is green. Bob is nice. Bob is smart. Erin is cold. Erin is green. Erin is nice. Erin is red. Erin is smart. If something is smart and green then it is cold. If something is nice then it is smart. All green, smart things are blue. If something is furry and red then it is cold. Furry, cold things are smart. If Bob is blue then Bob is cold.
Bob is green.
@0: Bob is cold.[(triple1 OR ((triple5 triple3) -> rule1) OR ((((triple3 triple5) -> rule3)) -> rule6) OR ((((triple4) -> rule2) triple3) -> rule1) OR ((((triple3 ((triple4) -> rule2)) -> rule3)) -> rule6))] Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is nice.[(triple4)] Bob is smart.[(triple5 OR ((triple4) -> rule2) OR ((triple2 triple1) -> rule5))] Erin is cold.[(triple6 OR ((triple10 triple7) -> rule1) OR ((((triple8) -> rule2) triple7) -> rule1))] Erin is green.[(triple7)] Erin is nice.[(triple8)] Erin is red.[(triple9)] Erin is smart.[(triple10 OR ((triple8) -> rule2))] @1: Bob is blue.[(((triple3 triple5) -> rule3) OR ((triple3 ((triple4) -> rule2)) -> rule3) OR ((triple3 ((triple2 triple1) -> rule5)) -> rule3))] Erin is blue.[(((triple7 triple10) -> rule3) OR ((triple7 ((triple8) -> rule2)) -> rule3))]