The cow chases the dog. The cow chases the lion. The cow sees the dog. The cow sees the lion. The dog is blue. The dog is red. The dog is round. The dog needs the lion. The dog sees the cow. The dog sees the lion. The lion is big. The lion is blue. If something needs the cow then the cow needs the dog. If something is blue then it needs the cow. If something needs the cow and the cow needs the lion then the lion sees the dog. If something chases the lion and the lion is big then the lion chases the cow. If something sees the lion then it sees the cow. If something needs the cow and it chases the lion then the cow sees the lion. If something sees the dog then the dog chases the lion. All round things are green.
The cow is big.
@0: The cow chases the dog.[(triple1)] The cow chases the lion.[(triple2)] The cow sees the dog.[(triple3)] The cow sees the lion.[(triple4 OR ((((triple5) -> rule2) ((triple3) -> rule7)) -> rule6))] The dog is blue.[(triple5)] The dog is red.[(triple6)] The dog is round.[(triple7)] The dog needs the lion.[(triple8)] The dog sees the cow.[(triple9 OR ((triple10) -> rule5))] The dog sees the lion.[(triple10)] The lion is big.[(triple11)] The lion is blue.[(triple12)] @1: The cow sees the cow.[(((triple4) -> rule5) OR ((((((triple5) -> rule2) ((triple3) -> rule7)) -> rule6)) -> rule5))] The dog chases the lion.[(((triple3) -> rule7))] The dog is green.[(((triple7) -> rule8))] The dog needs the cow.[(((triple5) -> rule2))] The lion chases the cow.[(((triple2 triple11) -> rule4) OR ((((triple3) -> rule7) triple11) -> rule4))] The lion needs the cow.[(((triple12) -> rule2))] @2: The cow needs the dog.[(((((triple12) -> rule2)) -> rule1) OR ((((triple5) -> rule2)) -> rule1))]