Bob is cold. Bob is green. Bob is nice. Bob is red. Bob is white. Bob is young. Erin is white. Young things are red. All cold, white things are young. If Erin is nice then Erin is red. Green things are nice. If something is white then it is cold. If Erin is nice and Erin is smart then Erin is young.
Erin is not young.
@0: Bob is cold.[(triple1 OR ((triple5) -> rule5))] Bob is green.[(triple2)] Bob is nice.[(triple3 OR ((triple2) -> rule4))] Bob is red.[(triple4 OR ((triple6) -> rule1) OR ((((triple1 triple5) -> rule2)) -> rule1) OR ((((((triple5) -> rule5) triple5) -> rule2)) -> rule1))] Bob is white.[(triple5)] Bob is young.[(triple6 OR ((triple1 triple5) -> rule2) OR ((((triple5) -> rule5) triple5) -> rule2))] Erin is white.[(triple7)] @1: Erin is cold.[(((triple7) -> rule5))] @2: Erin is young.[(((((triple7) -> rule5) triple7) -> rule2))] @3: Erin is red.[(((((((triple7) -> rule5) triple7) -> rule2)) -> rule1))]