The cow is big. The cow is blue. The cow is red. The cow is rough. The cow is young. The cow likes the squirrel. The cow needs the squirrel. The cow visits the squirrel. The squirrel is blue. The squirrel is red. The squirrel is rough. The squirrel is young. The squirrel likes the cow. The squirrel needs the cow. The squirrel visits the cow. If something needs the squirrel and the squirrel needs the cow then the squirrel likes the cow. If the cow needs the squirrel and the cow is blue then the cow likes the squirrel. If something needs the cow and the cow is young then the cow visits the squirrel. If something is young and red then it needs the cow. If something needs the cow and it likes the cow then the cow visits the squirrel. If something is rough then it visits the cow. If the squirrel is blue and the squirrel is rough then the squirrel likes the cow. If something is red and big then it visits the squirrel.
The cow does not like the squirrel.
@0: The cow is big.[(triple1)] The cow is blue.[(triple2)] The cow is red.[(triple3)] The cow is rough.[(triple4)] The cow is young.[(triple5)] The cow likes the squirrel.[(triple6 OR ((triple7 triple2) -> rule2))] The cow needs the squirrel.[(triple7)] The cow visits the squirrel.[(triple8 OR ((triple14 triple13) -> rule5) OR ((triple14 triple5) -> rule3) OR ((triple3 triple1) -> rule8) OR ((triple14 ((triple7 triple14) -> rule1)) -> rule5) OR ((triple14 ((triple9 triple11) -> rule7)) -> rule5) OR ((((triple12 triple10) -> rule4) triple13) -> rule5) OR ((((triple12 triple10) -> rule4) triple5) -> rule3) OR ((((triple5 triple3) -> rule4) triple5) -> rule3) OR ((((triple12 triple10) -> rule4) ((triple7 triple14) -> rule1)) -> rule5) OR ((((triple12 triple10) -> rule4) ((triple9 triple11) -> rule7)) -> rule5) OR ((triple14 ((triple7 ((triple12 triple10) -> rule4)) -> rule1)) -> rule5) OR ((((triple12 triple10) -> rule4) ((triple7 ((triple12 triple10) -> rule4)) -> rule1)) -> rule5))] The squirrel is blue.[(triple9)] The squirrel is red.[(triple10)] The squirrel is rough.[(triple11)] The squirrel is young.[(triple12)] The squirrel likes the cow.[(triple13 OR ((triple7 triple14) -> rule1) OR ((triple9 triple11) -> rule7) OR ((triple7 ((triple12 triple10) -> rule4)) -> rule1))] The squirrel needs the cow.[(triple14 OR ((triple12 triple10) -> rule4))] The squirrel visits the cow.[(triple15 OR ((triple11) -> rule6))] @1: The cow needs the cow.[(((triple5 triple3) -> rule4))] The cow visits the cow.[(((triple4) -> rule6))]