The cow is blue. The cow likes the lion. The cow needs the lion. The cow needs the squirrel. The lion is blue. The lion is cold. The lion is round. The lion likes the squirrel. The lion needs the cow. The lion needs the squirrel. The squirrel is blue. The squirrel likes the lion. The squirrel needs the cow. The squirrel needs the lion. The squirrel visits the cow. The squirrel visits the lion. If something visits the squirrel then it likes the cow. If something is round and blue then it visits the squirrel. If something needs the cow and it is blue then it needs the lion. If something visits the squirrel and it likes the cow then the cow visits the lion. All young things are cold. If something is round then it is young.
The cow visits the squirrel.
@0: The cow is blue.[(triple1)] The cow likes the lion.[(triple2)] The cow needs the lion.[(triple3)] The cow needs the squirrel.[(triple4)] The lion is blue.[(triple5)] The lion is cold.[(triple6 OR ((((triple7) -> rule6)) -> rule5))] The lion is round.[(triple7)] The lion likes the squirrel.[(triple8)] The lion needs the cow.[(triple9)] The lion needs the squirrel.[(triple10)] The squirrel is blue.[(triple11)] The squirrel likes the lion.[(triple12)] The squirrel needs the cow.[(triple13)] The squirrel needs the lion.[(triple14 OR ((triple13 triple11) -> rule3))] The squirrel visits the cow.[(triple15)] The squirrel visits the lion.[(triple16)] @1: The lion is young.[(((triple7) -> rule6))] The lion needs the lion.[(((triple9 triple5) -> rule3))] The lion visits the squirrel.[(((triple7 triple5) -> rule2))] @2: The lion likes the cow.[(((((triple7 triple5) -> rule2)) -> rule1))] @3: The cow visits the lion.[(((((triple7 triple5) -> rule2) ((((triple7 triple5) -> rule2)) -> rule1)) -> rule4))]