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