The cat chases the cow. The cat chases the lion. The cat is green. The cat is nice. The cat is red. The cat is rough. The cat sees the cow. The cat visits the cow. The cat visits the lion. The cow chases the cat. The cow chases the lion. The cow visits the cat. The cow visits the lion. The lion is green. The lion sees the cat. If something chases the cow and it is nice then the cow visits the cat. If something sees the lion then the lion visits the cat. If the cow sees the cat then the cat sees the cow. All green, red things are rough. If something is nice then it sees the cat. If something chases the cow and the cow sees the lion then the cow visits the cat. If something sees the cow and it visits the cat then it chases the cow. If the lion visits the cat and the lion sees the cow then the cat sees the lion.
The lion chases the lion.
@0: The cat chases the cow.[(triple1)] The cat chases the lion.[(triple2)] The cat is green.[(triple3)] The cat is nice.[(triple4)] The cat is red.[(triple5)] The cat is rough.[(triple6 OR ((triple3 triple5) -> rule4))] The cat sees the cow.[(triple7)] The cat visits the cow.[(triple8)] The cat visits the lion.[(triple9)] The cow chases the cat.[(triple10)] The cow chases the lion.[(triple11)] The cow visits the cat.[(triple12 OR ((triple1 triple4) -> rule1))] The cow visits the lion.[(triple13)] The lion is green.[(triple14)] The lion sees the cat.[(triple15)] @1: The cat sees the cat.[(((triple4) -> rule5))]