Bob is blue. Bob is cold. Bob is furry. Bob is green. Bob is rough. Bob is round. Gary is blue. Gary is cold. Gary is red. Gary is rough. Red, cold things are round. If Bob is green and Bob is red then Bob is round. If something is blue then it is rough. If Bob is furry then Bob is rough. If Gary is red and Gary is round then Gary is green. Rough things are red. If Bob is red and Bob is round then Bob is rough. If something is green then it is rough.
Gary is blue.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is green.[(triple4)] Bob is rough.[(triple5 OR ((triple1) -> rule3) OR ((triple3) -> rule4) OR ((triple4) -> rule8))] Bob is round.[(triple6 OR ((triple4 ((triple5) -> rule6)) -> rule2) OR ((((triple5) -> rule6) triple2) -> rule1) OR ((triple4 ((((triple1) -> rule3)) -> rule6)) -> rule2) OR ((triple4 ((((triple3) -> rule4)) -> rule6)) -> rule2) OR ((triple4 ((((triple4) -> rule8)) -> rule6)) -> rule2) OR ((((((triple1) -> rule3)) -> rule6) triple2) -> rule1) OR ((((((triple3) -> rule4)) -> rule6) triple2) -> rule1) OR ((((((triple4) -> rule8)) -> rule6) triple2) -> rule1))] Gary is blue.[(triple7)] Gary is cold.[(triple8)] Gary is red.[(triple9 OR ((triple10) -> rule6) OR ((((triple7) -> rule3)) -> rule6))] Gary is rough.[(triple10 OR ((triple7) -> rule3) OR ((((triple9 ((triple9 triple8) -> rule1)) -> rule5)) -> rule8))] @1: Bob is red.[(((triple5) -> rule6) OR ((((triple1) -> rule3)) -> rule6) OR ((((triple3) -> rule4)) -> rule6) OR ((((triple4) -> rule8)) -> rule6))] Gary is round.[(((triple9 triple8) -> rule1) OR ((((triple10) -> rule6) triple8) -> rule1) OR ((((((triple7) -> rule3)) -> rule6) triple8) -> rule1))] @2: Gary is green.[(((triple9 ((triple9 triple8) -> rule1)) -> rule5) OR ((((triple10) -> rule6) ((triple9 triple8) -> rule1)) -> rule5) OR ((triple9 ((((triple10) -> rule6) triple8) -> rule1)) -> rule5) OR ((((triple10) -> rule6) ((((triple10) -> rule6) triple8) -> rule1)) -> rule5) OR ((((((triple7) -> rule3)) -> rule6) ((triple9 triple8) -> rule1)) -> rule5) OR ((((((triple7) -> rule3)) -> rule6) ((((triple10) -> rule6) triple8) -> rule1)) -> rule5) OR ((triple9 ((((((triple7) -> rule3)) -> rule6) triple8) -> rule1)) -> rule5) OR ((((triple10) -> rule6) ((((((triple7) -> rule3)) -> rule6) triple8) -> rule1)) -> rule5) OR ((((((triple7) -> rule3)) -> rule6) ((((((triple7) -> rule3)) -> rule6) triple8) -> rule1)) -> rule5))]