Bob is blue. Bob is cold. Bob is rough. Bob is round. Bob is young. Gary is white. Gary is young. If Gary is blue then Gary is cold. If something is rough and smart then it is round. Rough, young things are cold. White, cold things are rough. Rough, young things are smart. All white things are blue.
Gary is cold.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2 OR ((triple3 triple5) -> rule3))] Bob is rough.[(triple3)] Bob is round.[(triple4 OR ((triple3 ((triple3 triple5) -> rule5)) -> rule2))] Bob is young.[(triple5)] Gary is white.[(triple6)] Gary is young.[(triple7)] @1: Bob is smart.[(((triple3 triple5) -> rule5))] Gary is blue.[(((triple6) -> rule6))] @2: Gary is cold.[(((((triple6) -> rule6)) -> rule1))] @3: Gary is rough.[(((triple6 ((((triple6) -> rule6)) -> rule1)) -> rule4))] @4: Gary is smart.[(((((triple6 ((((triple6) -> rule6)) -> rule1)) -> rule4) triple7) -> rule5))] @5: Gary is round.[(((((triple6 ((((triple6) -> rule6)) -> rule1)) -> rule4) ((((triple6 ((((triple6) -> rule6)) -> rule1)) -> rule4) triple7) -> rule5)) -> rule2))]