The bear chases the cat. The bear eats the cat. The bear is big. The bear is cold. The bear is green. The bear is kind. The bear is rough. The bear visits the cat. The cat chases the bear. The cat does not eat the bear. The cat is cold. The cat is green. The cat is kind. The cat is not rough. The cat visits the bear. If someone eats the bear and they chase the bear then they visit the bear. If someone eats the cat then they visit the bear. If the cat visits the bear and the cat is not big then the cat eats the bear. If someone visits the cat and the cat is big then the cat is cold. If the cat is big then the cat is cold. If someone eats the cat then they eat the bear. If someone visits the bear then they visit the cat. If the bear is cold and the bear is not big then the bear does not visit the cat.
The cat chases the bear.
@0: The bear chases the cat.[(triple1)] The bear eats the cat.[(triple2)] The bear is big.[(triple3)] The bear is cold.[(triple4)] The bear is green.[(triple5)] The bear is kind.[(triple6)] The bear is rough.[(triple7)] The bear visits the cat.[(triple8 OR ((((triple2) -> rule2)) -> rule7))] The cat chases the bear.[(triple9)] The cat does not eat the bear.[(triple10)] The cat is cold.[(triple11)] The cat is green.[(triple12)] The cat is kind.[(triple13)] The cat is not rough.[(triple14)] The cat visits the bear.[(triple15)] @1: The bear eats the bear.[(((triple2) -> rule6))] The bear visits the bear.[(((triple2) -> rule2))] The cat visits the cat.[(((triple15) -> rule7))]