Bob is blue. Bob is green. Bob is red. Bob is rough. Bob is smart. Erin is blue. Erin is smart. All cold, red things are young. If something is smart and red then it is cold. If Erin is cold and Erin is red then Erin is smart. All red things are cold. Young, green things are red. Cold things are rough. If something is smart then it is cold. All rough things are cold.
Erin is not young.
@0: Bob is blue.[(triple1)] Bob is green.[(triple2)] Bob is red.[(triple3)] Bob is rough.[(triple4 OR ((((triple3) -> rule4)) -> rule6) OR ((((triple5) -> rule7)) -> rule6) OR ((((triple5 triple3) -> rule2)) -> rule6))] Bob is smart.[(triple5)] Erin is blue.[(triple6)] Erin is smart.[(triple7)] @1: Bob is cold.[(((triple3) -> rule4) OR ((triple4) -> rule8) OR ((triple5) -> rule7) OR ((triple5 triple3) -> rule2))] Erin is cold.[(((triple7) -> rule7))] @2: Bob is young.[(((((triple3) -> rule4) triple3) -> rule1) OR ((((triple4) -> rule8) triple3) -> rule1) OR ((((triple5) -> rule7) triple3) -> rule1) OR ((((triple5 triple3) -> rule2) triple3) -> rule1))] Erin is rough.[(((((triple7) -> rule7)) -> rule6))]