The cow chases the lion. The cow eats the lion. The cow is nice. The cow is red. The cow is rough. The cow sees the lion. The lion chases the cow. The lion is red. The lion is not round. The lion sees the cow. All cold, rough things are round. If something is cold then it chases the lion. If the lion sees the cow and the lion chases the cow then the cow sees the lion. If something is round and not nice then it is rough. If the cow chases the lion and the lion sees the cow then the lion is cold. If the lion is rough then the lion sees the cow. If something is cold and it chases the lion then it eats the cow. If the lion eats the cow and the cow does not see the lion then the lion is red.
The cow does not eat the cow.
@0: The cow chases the lion.[(triple1)] The cow eats the lion.[(triple2)] The cow is nice.[(triple3)] The cow is red.[(triple4)] The cow is rough.[(triple5)] The cow sees the lion.[(triple6 OR ((triple10 triple7) -> rule3))] The lion chases the cow.[(triple7)] The lion is not round.[(triple9)] The lion is red.[(triple8)] The lion sees the cow.[(triple10)] @1: The lion is cold.[(((triple1 triple10) -> rule5))] @2: The lion chases the lion.[(((((triple1 triple10) -> rule5)) -> rule2))] @3: The lion eats the cow.[(((((triple1 triple10) -> rule5) ((((triple1 triple10) -> rule5)) -> rule2)) -> rule7))]