The bear eats the cat. The bear is blue. The bear is cold. The bear is nice. The bear is young. 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 kind. The cat is nice. The cat is young. The cat sees the bear. The cat visits the bear. If the bear sees the cat and the bear visits the cat then the bear is cold.
The bear sees the cat.
@0: The bear eats the cat.[(triple1)] The bear is blue.[(triple2)] The bear is cold.[(triple3 OR ((triple6 triple7) -> rule1))] The bear is nice.[(triple4)] The bear is young.[(triple5)] The bear sees the cat.[(triple6)] The bear visits the cat.[(triple7)] The cat eats the bear.[(triple8)] The cat is blue.[(triple9)] The cat is cold.[(triple10)] The cat is kind.[(triple11)] The cat is nice.[(triple12)] The cat is young.[(triple13)] The cat sees the bear.[(triple14)] The cat visits the bear.[(triple15)]