The cow chases the lion. The cow is big. The cow is nice. The cow likes the squirrel. The cow sees the squirrel. The dog is blue. The dog is rough. The dog likes the cow. The dog sees the lion. The lion is big. The lion likes the cow. The lion sees the dog. The lion sees the squirrel. The squirrel sees the dog. If someone is nice then they are blue. If someone sees the lion then they chase the cow. If someone likes the squirrel and they see the lion then the squirrel likes the lion. If someone is blue and they like the cow then the cow is big. All blue people are young. If someone likes the lion and they chase the cow then the cow chases the lion. If someone chases the cow and the cow chases the lion then they like the squirrel. If someone likes the lion then they are blue.
The cow does not chase the lion.
@0: The cow chases the lion.[(triple1)] The cow is big.[(triple2 OR ((triple6 triple8) -> rule4))] The cow is nice.[(triple3)] The cow likes the squirrel.[(triple4)] The cow sees the squirrel.[(triple5)] The dog is blue.[(triple6)] The dog is rough.[(triple7)] The dog likes the cow.[(triple8)] The dog sees the lion.[(triple9)] The lion is big.[(triple10)] The lion likes the cow.[(triple11)] The lion sees the dog.[(triple12)] The lion sees the squirrel.[(triple13)] The squirrel sees the dog.[(triple14)] @1: The cow is blue.[(((triple3) -> rule1))] The dog chases the cow.[(((triple9) -> rule2))] The dog is young.[(((triple6) -> rule5))] @2: The cow is young.[(((((triple3) -> rule1)) -> rule5))] The dog likes the squirrel.[(((((triple9) -> rule2) triple1) -> rule7))] @3: The squirrel likes the lion.[(((((((triple9) -> rule2) triple1) -> rule7) triple9) -> rule3))] @4: The squirrel is blue.[(((((((((triple9) -> rule2) triple1) -> rule7) triple9) -> rule3)) -> rule8))] @5: The squirrel is young.[(((((((((((triple9) -> rule2) triple1) -> rule7) triple9) -> rule3)) -> rule8)) -> rule5))]