The bear is blue. The bear is red. The bear is round. If the bear is round and the bear is cold then the bear is blue. If something is cold and red then it is green. All red things are blue. Round, red things are cold. Red, round things are blue. If the bear is green then the bear is round. If something is round and cold then it is green. If the bear is round then the bear is cold.
The bear is cold.
@0: The bear is blue.[(triple1 OR ((triple2) -> rule3) OR ((triple2 triple3) -> rule5) OR ((triple3 ((triple3) -> rule8)) -> rule1) OR ((triple3 ((triple3 triple2) -> rule4)) -> rule1))] The bear is red.[(triple2)] The bear is round.[(triple3)] @1: The bear is cold.[(((triple3) -> rule8) OR ((triple3 triple2) -> rule4))] @2: The bear is green.[(((triple3 ((triple3) -> rule8)) -> rule7) OR ((triple3 ((triple3 triple2) -> rule4)) -> rule7) OR ((((triple3) -> rule8) triple2) -> rule2) OR ((((triple3 triple2) -> rule4) triple2) -> rule2))]