The bear is big. The bear is green. The bear is red. The bear is rough. The bear is round. If something is green and red then it is round. All big, red things are green. All red, rough things are round. If the bear is round and the bear is big then the bear is red. If the bear is green then the bear is round. All round, green things are big.
The bear is not round.
@0: The bear is big.[(triple1 OR ((triple5 triple2) -> rule6) OR ((((triple2) -> rule5) triple2) -> rule6) OR ((((triple2 triple3) -> rule1) triple2) -> rule6) OR ((((triple3 triple4) -> rule3) triple2) -> rule6))] The bear is green.[(triple2 OR ((triple1 triple3) -> rule2) OR ((triple1 ((triple5 triple1) -> rule4)) -> rule2))] The bear is red.[(triple3 OR ((triple5 triple1) -> rule4) OR ((triple5 ((triple5 triple2) -> rule6)) -> rule4) OR ((((triple2) -> rule5) triple1) -> rule4) OR ((((triple2) -> rule5) ((triple5 triple2) -> rule6)) -> rule4) OR ((triple5 ((((triple2) -> rule5) triple2) -> rule6)) -> rule4) OR ((((triple2) -> rule5) ((((triple2) -> rule5) triple2) -> rule6)) -> rule4))] The bear is rough.[(triple4)] The bear is round.[(triple5 OR ((triple2) -> rule5) OR ((triple2 triple3) -> rule1) OR ((triple3 triple4) -> rule3) OR ((((triple1 triple3) -> rule2)) -> rule5) OR ((((triple1 triple3) -> rule2) triple3) -> rule1))]