Anne is cold. Anne is rough. Anne is round. Anne is young. Bob is big. Bob is cold. Bob is furry. Bob is rough. Bob is round. Bob is smart. Bob is young. Gary is big. Gary is cold. Gary is furry. Gary is rough. Gary is round. If Gary is smart then Gary is young. All cold things are rough. All rough things are big. If something is round and big then it is cold. All rough things are smart. If Bob is smart then Bob is young.
Gary is young.
@0: Anne is cold.[(triple1 OR ((triple3 ((triple2) -> rule3)) -> rule4))] Anne is rough.[(triple2 OR ((triple1) -> rule2))] Anne is round.[(triple3)] Anne is young.[(triple4)] Bob is big.[(triple5 OR ((triple8) -> rule3) OR ((((triple6) -> rule2)) -> rule3))] Bob is cold.[(triple6 OR ((triple9 triple5) -> rule4) OR ((triple9 ((triple8) -> rule3)) -> rule4))] Bob is furry.[(triple7)] Bob is rough.[(triple8 OR ((triple6) -> rule2) OR ((((triple9 triple5) -> rule4)) -> rule2))] Bob is round.[(triple9)] Bob is smart.[(triple10 OR ((triple8) -> rule5) OR ((((triple6) -> rule2)) -> rule5) OR ((((((triple9 triple5) -> rule4)) -> rule2)) -> rule5))] Bob is young.[(triple11 OR ((triple10) -> rule6) OR ((((triple8) -> rule5)) -> rule6) OR ((((((triple6) -> rule2)) -> rule5)) -> rule6) OR ((((((((triple9 triple5) -> rule4)) -> rule2)) -> rule5)) -> rule6))] Gary is big.[(triple12 OR ((triple15) -> rule3) OR ((((triple13) -> rule2)) -> rule3))] Gary is cold.[(triple13 OR ((triple16 triple12) -> rule4) OR ((triple16 ((triple15) -> rule3)) -> rule4))] Gary is furry.[(triple14)] Gary is rough.[(triple15 OR ((triple13) -> rule2) OR ((((triple16 triple12) -> rule4)) -> rule2))] Gary is round.[(triple16)] @1: Anne is big.[(((triple2) -> rule3) OR ((((triple1) -> rule2)) -> rule3))] Anne is smart.[(((triple2) -> rule5) OR ((((triple1) -> rule2)) -> rule5))] Gary is smart.[(((triple15) -> rule5) OR ((((triple13) -> rule2)) -> rule5) OR ((((((triple16 triple12) -> rule4)) -> rule2)) -> rule5))] @2: Gary is young.[(((((triple15) -> rule5)) -> rule1) OR ((((((triple13) -> rule2)) -> rule5)) -> rule1) OR ((((((((triple16 triple12) -> rule4)) -> rule2)) -> rule5)) -> rule1))]