The cow chases the lion. The cow chases the rabbit. The cow is big. The cow is blue. The cow is cold. The cow sees the lion. The cow visits the lion. The lion is big. The lion is rough. The lion is round. The lion does not see the cow. The rabbit chases the cow. The rabbit is big. The rabbit does not see the cow. The rabbit sees the lion. The rabbit visits the cow. If the rabbit visits the cow and the rabbit is not big then the cow does not visit the rabbit. If the cow is round and the cow sees the rabbit then the rabbit is blue. If something is round and big then it does not chase the cow. If something chases the lion then it is rough. If something is rough and it chases the rabbit then the rabbit chases the lion. If something sees the lion and the lion chases the cow then the lion sees the cow. If the rabbit does not chase the cow then the rabbit does not see the lion. If something sees the lion and it sees the rabbit then it is blue.
The lion chases the cow.
@0: The cow chases the lion.[(triple1)] The cow chases the rabbit.[(triple2)] The cow is big.[(triple3)] The cow is blue.[(triple4)] The cow is cold.[(triple5)] The cow sees the lion.[(triple6)] The cow visits the lion.[(triple7)] The lion does not see the cow.[(triple11)] The lion is big.[(triple8)] The lion is rough.[(triple9)] The lion is round.[(triple10)] The rabbit chases the cow.[(triple12)] The rabbit does not see the cow.[(triple14)] The rabbit is big.[(triple13)] The rabbit sees the lion.[(triple15)] The rabbit visits the cow.[(triple16)] @1: The cow is rough.[(((triple1) -> rule4))] The lion does not chase the cow.[(((triple10 triple8) -> rule3))] @2: The rabbit chases the lion.[(((((triple1) -> rule4) triple2) -> rule5))] @3: The rabbit is rough.[(((((((triple1) -> rule4) triple2) -> rule5)) -> rule4))]