The bear chases the cat. The bear eats the cat. The bear is green. The bear is nice. The bear is red. The bear likes the cat. The cat does not chase the bear. The cat eats the bear. The cat is cold. The cat likes the bear. If someone chases the cat and the cat likes the bear then the cat is red. If someone chases the bear then they are not green. All red people are green. If someone is green and red then they eat the cat. If the cat does not like the bear then the cat chases the bear. If the bear is red then the bear likes the cat.
The bear does not like the bear.
@0: The bear chases the cat.[(triple1)] The bear eats the cat.[(triple2 OR ((triple3 triple5) -> rule4) OR ((((triple5) -> rule3) triple5) -> rule4))] The bear is green.[(triple3 OR ((triple5) -> rule3))] The bear is nice.[(triple4)] The bear is red.[(triple5)] The bear likes the cat.[(triple6 OR ((triple5) -> rule6))] The cat does not chase the bear.[(triple7)] The cat eats the bear.[(triple8)] The cat is cold.[(triple9)] The cat likes the bear.[(triple10)] @1: The cat is red.[(((triple1 triple10) -> rule1))] @2: The cat is green.[(((((triple1 triple10) -> rule1)) -> rule3))] @3: The cat eats the cat.[(((((((triple1 triple10) -> rule1)) -> rule3) ((triple1 triple10) -> rule1)) -> rule4))]