The bear chases the cat. The bear eats the cat. The bear is blue. The bear is cold. The bear is red. The bear is rough. The bear is young. The bear sees the cat. The cat chases the bear. The cat eats the bear. The cat is blue. The cat is cold. The cat is red. The cat is rough. The cat sees the bear. If the cat chases the bear then the cat eats the bear. If something is cold and rough then it chases the bear. If the bear sees the cat and the cat is rough then the bear chases the cat. If the cat eats the bear and the cat chases the bear then the bear is red. If the cat chases the bear then the bear eats the cat. If something sees the cat then it chases the cat. If something sees the cat and it chases the cat then it chases the bear. If something sees the cat then the cat eats the bear.
The bear is red.
@0: The bear chases the cat.[(triple1 OR ((triple8) -> rule6) OR ((triple8 triple14) -> rule3))] The bear eats the cat.[(triple2 OR ((triple9) -> rule5) OR ((((triple12 triple14) -> rule2)) -> rule5))] The bear is blue.[(triple3)] The bear is cold.[(triple4)] The bear is red.[(triple5 OR ((triple10 triple9) -> rule4) OR ((triple10 ((triple12 triple14) -> rule2)) -> rule4) OR ((((triple8) -> rule8) triple9) -> rule4) OR ((((triple9) -> rule1) triple9) -> rule4) OR ((((triple8) -> rule8) ((triple12 triple14) -> rule2)) -> rule4) OR ((((triple9) -> rule1) ((triple12 triple14) -> rule2)) -> rule4) OR ((((((triple12 triple14) -> rule2)) -> rule1) triple9) -> rule4) OR ((((((triple12 triple14) -> rule2)) -> rule1) ((triple12 triple14) -> rule2)) -> rule4))] The bear is rough.[(triple6)] The bear is young.[(triple7)] The bear sees the cat.[(triple8)] The cat chases the bear.[(triple9 OR ((triple12 triple14) -> rule2))] The cat eats the bear.[(triple10 OR ((triple8) -> rule8) OR ((triple9) -> rule1) OR ((((triple12 triple14) -> rule2)) -> rule1))] The cat is blue.[(triple11)] The cat is cold.[(triple12)] The cat is red.[(triple13)] The cat is rough.[(triple14)] The cat sees the bear.[(triple15)] @1: The bear chases the bear.[(((triple4 triple6) -> rule2) OR ((triple8 triple1) -> rule7) OR ((triple8 ((triple8) -> rule6)) -> rule7) OR ((triple8 ((triple8 triple14) -> rule3)) -> rule7))]