The bear likes the dog. The dog eats the bear. The dog is big. The dog is cold. The dog is young. The dog likes the bear. The dog visits the bear. If someone likes the dog then the dog eats the bear. If someone eats the bear then the bear is young. If the bear eats the dog then the bear is cold. If someone eats the bear and the bear eats the dog then the dog eats the bear. If someone is red and big then they like the dog. If someone visits the dog then they are red. If someone is rough then they eat the dog. If someone likes the bear then they visit the dog.
The bear is not red.
@0: The bear likes the dog.[(triple1)] The dog eats the bear.[(triple2 OR ((triple1) -> rule1) OR ((((((((triple6) -> rule8)) -> rule6) triple3) -> rule5)) -> rule1))] The dog is big.[(triple3)] The dog is cold.[(triple4)] The dog is young.[(triple5)] The dog likes the bear.[(triple6)] The dog visits the bear.[(triple7)] @1: The bear is young.[(((triple2) -> rule2) OR ((((triple1) -> rule1)) -> rule2) OR ((((((((((triple6) -> rule8)) -> rule6) triple3) -> rule5)) -> rule1)) -> rule2))] The dog visits the dog.[(((triple6) -> rule8))] @2: The dog is red.[(((((triple6) -> rule8)) -> rule6))] @3: The dog likes the dog.[(((((((triple6) -> rule8)) -> rule6) triple3) -> rule5))]