The bear eats the cat. The bear is blue. The bear is cold. The bear is nice. The bear is red. The bear is round. The bear sees the cat. The bear visits the cat. The cat eats the bear. The cat is blue. The cat is cold. The cat is nice. The cat is red. The cat is round. The cat sees the bear. The cat visits the bear. If someone is red and they eat the cat then the cat sees the bear. If someone is blue and they see the bear then the bear is round.
The cat visits the cat.
@0: The bear eats the cat.[(triple1)] The bear is blue.[(triple2)] The bear is cold.[(triple3)] The bear is nice.[(triple4)] The bear is red.[(triple5)] The bear is round.[(triple6 OR ((triple10 triple15) -> rule2) OR ((triple10 ((triple5 triple1) -> rule1)) -> rule2))] The bear sees the cat.[(triple7)] The bear visits the cat.[(triple8)] The cat eats the bear.[(triple9)] The cat is blue.[(triple10)] The cat is cold.[(triple11)] The cat is nice.[(triple12)] The cat is red.[(triple13)] The cat is round.[(triple14)] The cat sees the bear.[(triple15 OR ((triple5 triple1) -> rule1))] The cat visits the bear.[(triple16)]