The cat chases the cow. The cat does not eat the lion. The cat is big. The cat is nice. The cow chases the cat. The cow eats the lion. The cow is cold. The cow is nice. The lion chases the cow. The lion is not big. The lion is not nice. The lion is rough. If someone is cold then they do not like the cat. If someone chases the cow and they are not nice then the cow eats the cat. If the cow does not like the cat then the cow eats the cat.
The cow does not like the cow.
@0: The cat chases the cow.[(triple1)] The cat does not eat the lion.[(triple2)] The cat is big.[(triple3)] The cat is nice.[(triple4)] The cow chases the cat.[(triple5)] The cow eats the lion.[(triple6)] The cow is cold.[(triple7)] The cow is nice.[(triple8)] The lion chases the cow.[(triple9)] The lion is not big.[(triple10)] The lion is not nice.[(triple11)] The lion is rough.[(triple12)] @1: The cow does not like the cat.[(((triple7) -> rule1))] The cow eats the cat.[(((triple9 triple11) -> rule2) OR ((((triple7) -> rule1)) -> rule3))]