The bear eats the dog. The bear is big. The bear is not cold. The dog eats the bear. The dog is blue. The dog is cold. The dog visits the bear. If the bear likes the dog and the bear is big then the bear does not eat the dog. If something likes the bear and it does not eat the bear then it does not like the dog. If something is cold then it likes the dog. If something is blue then it likes the bear. If something is cold and it does not visit the bear then the bear is cold. If something likes the bear then the bear visits the dog. If something likes the bear then it visits the dog. If something visits the dog then the dog is big.
The bear does not eat the bear.
@0: The bear eats the dog.[(triple1)] The bear is big.[(triple2)] The bear is not cold.[(triple3)] The dog eats the bear.[(triple4)] The dog is blue.[(triple5)] The dog is cold.[(triple6)] The dog visits the bear.[(triple7)] @1: The dog likes the bear.[(((triple5) -> rule4))] The dog likes the dog.[(((triple6) -> rule3))] @2: The bear visits the dog.[(((((triple5) -> rule4)) -> rule6))] The dog visits the dog.[(((((triple5) -> rule4)) -> rule7))] @3: The dog is big.[(((((((triple5) -> rule4)) -> rule6)) -> rule8) OR ((((((triple5) -> rule4)) -> rule7)) -> rule8))]