The cat is big. The cat is cold. The cat likes the cow. The cat visits the lion. The cow is blue. The cow likes the lion. The cow does not visit the lion. The lion chases the cat. The lion is not big. The lion is rough. The lion visits the cat. The squirrel likes the cow. If something visits the squirrel then it likes the cat. If something visits the cat then it likes the cat. If something likes the squirrel and it is big then the squirrel likes the lion. If something likes the cow and it visits the cow then the cow visits the cat. If something likes the cat then it chases the squirrel. If something chases the lion and the lion is not cold then it visits the cow. If something chases the lion then the lion chases the cow. If something chases the squirrel then the squirrel visits the cat. If the cow is rough then the cow chases the cat.
The squirrel likes the cow.
@0: The cat is big.[(triple1)] The cat is cold.[(triple2)] The cat likes the cow.[(triple3)] The cat visits the lion.[(triple4)] The cow does not visit the lion.[(triple7)] The cow is blue.[(triple5)] The cow likes the lion.[(triple6)] The lion chases the cat.[(triple8)] The lion is not big.[(triple9)] The lion is rough.[(triple10)] The lion visits the cat.[(triple11)] The squirrel likes the cow.[(triple12)] @1: The lion likes the cat.[(((triple11) -> rule2))] @2: The lion chases the squirrel.[(((((triple11) -> rule2)) -> rule5))] @3: The squirrel visits the cat.[(((((((triple11) -> rule2)) -> rule5)) -> rule8))] @4: The squirrel likes the cat.[(((((((((triple11) -> rule2)) -> rule5)) -> rule8)) -> rule2))] @5: The squirrel chases the squirrel.[(((((((((((triple11) -> rule2)) -> rule5)) -> rule8)) -> rule2)) -> rule5))]