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