The cow eats the dog. The cow is cold. The cow sees the dog. The dog does not eat the cow. The dog is nice. The dog is red. The dog sees the cow. If something is young and it sees the cow then it likes the cow. If something likes the dog and it eats the dog then it likes the cow. If something likes the dog and the dog sees the cow then the dog is kind. If something sees the dog then it sees the cow. If something sees the cow then the cow likes the dog. If something likes the dog and the dog is not cold then the dog does not like the cow. If something is kind and young then it does not eat the dog. If something likes the cow then it eats the cow.
The dog is not cold.
@0: The cow eats the dog.[(triple1)] The cow is cold.[(triple2)] The cow sees the dog.[(triple3)] The dog does not eat the cow.[(triple4)] The dog is nice.[(triple5)] The dog is red.[(triple6)] The dog sees the cow.[(triple7)] @1: The cow likes the dog.[(((triple7) -> rule5) OR ((((triple3) -> rule4)) -> rule5))] The cow sees the cow.[(((triple3) -> rule4))] @2: The cow likes the cow.[(((((triple7) -> rule5) triple1) -> rule2) OR ((((((triple3) -> rule4)) -> rule5) triple1) -> rule2))] The dog is kind.[(((((triple7) -> rule5) triple7) -> rule3) OR ((((((triple3) -> rule4)) -> rule5) triple7) -> rule3))] @3: The cow eats the cow.[(((((((triple7) -> rule5) triple1) -> rule2)) -> rule8) OR ((((((((triple3) -> rule4)) -> rule5) triple1) -> rule2)) -> rule8))]