Bob is nice. Bob is young. Erin is not nice. Gary is cold. Gary is nice. Gary is white. Gary is not young. If Bob is young then Bob is rough. If something is nice and young then it is big. If Gary is smart and Gary is not young then Gary is nice. All white, nice things are smart. Smart things are white. If Bob is big then Bob is smart. If Gary is not white then Gary is rough. All rough things are cold.
Erin is not young.
@0: Bob is nice.[(triple1)] Bob is young.[(triple2)] Erin is not nice.[(triple3)] Gary is cold.[(triple4)] Gary is nice.[(triple5)] Gary is not young.[(triple7)] Gary is white.[(triple6)] @1: Bob is big.[(((triple1 triple2) -> rule2))] Bob is rough.[(((triple2) -> rule1))] Gary is smart.[(((triple6 triple5) -> rule4))] @2: Bob is cold.[(((((triple2) -> rule1)) -> rule8))] Bob is smart.[(((((triple1 triple2) -> rule2)) -> rule6))] @3: Bob is white.[(((((((triple1 triple2) -> rule2)) -> rule6)) -> rule5))]