The cow is cold. The cow is green. The cow is red. The cow is round. The cow is young. The cow likes the squirrel. The cow needs the squirrel. The cow visits the squirrel. The squirrel is cold. The squirrel is green. The squirrel is red. The squirrel is round. The squirrel is young. The squirrel likes the cow. The squirrel needs the cow. The squirrel visits the cow. If someone likes the cow then the cow needs the squirrel. If the cow likes the squirrel and the cow visits the squirrel then the squirrel likes the cow. If the squirrel likes the cow and the cow likes the squirrel then the squirrel is young. If someone visits the cow and they are cold then the cow is green. If someone visits the cow then the cow needs the squirrel. If someone likes the squirrel and the squirrel is cold then they visit the cow. If someone is round and they visit the cow then they are red. If the cow is green then the cow visits the squirrel.
The cow is not young.
@0: The cow is cold.[(triple1)] The cow is green.[(triple2 OR ((triple16 triple9) -> rule4) OR ((((triple6 triple9) -> rule6) triple1) -> rule4))] The cow is red.[(triple3 OR ((triple4 ((triple6 triple9) -> rule6)) -> rule7))] The cow is round.[(triple4)] The cow is young.[(triple5)] The cow likes the squirrel.[(triple6)] The cow needs the squirrel.[(triple7 OR ((triple14) -> rule1) OR ((triple16) -> rule5) OR ((((triple6 triple8) -> rule2)) -> rule1) OR ((((triple6 triple9) -> rule6)) -> rule5) OR ((((triple6 ((triple2) -> rule8)) -> rule2)) -> rule1) OR ((((triple6 ((((triple16 triple9) -> rule4)) -> rule8)) -> rule2)) -> rule1) OR ((((triple6 ((((((triple6 triple9) -> rule6) triple1) -> rule4)) -> rule8)) -> rule2)) -> rule1))] The cow visits the squirrel.[(triple8 OR ((triple2) -> rule8) OR ((((triple16 triple9) -> rule4)) -> rule8) OR ((((((triple6 triple9) -> rule6) triple1) -> rule4)) -> rule8))] The squirrel is cold.[(triple9)] The squirrel is green.[(triple10)] The squirrel is red.[(triple11 OR ((triple12 triple16) -> rule7))] The squirrel is round.[(triple12)] The squirrel is young.[(triple13 OR ((triple14 triple6) -> rule3) OR ((((triple6 triple8) -> rule2) triple6) -> rule3) OR ((((triple6 ((triple2) -> rule8)) -> rule2) triple6) -> rule3) OR ((((triple6 ((((triple16 triple9) -> rule4)) -> rule8)) -> rule2) triple6) -> rule3) OR ((((triple6 ((((((triple6 triple9) -> rule6) triple1) -> rule4)) -> rule8)) -> rule2) triple6) -> rule3))] The squirrel likes the cow.[(triple14 OR ((triple6 triple8) -> rule2) OR ((triple6 ((triple2) -> rule8)) -> rule2) OR ((triple6 ((((triple16 triple9) -> rule4)) -> rule8)) -> rule2) OR ((triple6 ((((((triple6 triple9) -> rule6) triple1) -> rule4)) -> rule8)) -> rule2))] The squirrel needs the cow.[(triple15)] The squirrel visits the cow.[(triple16)] @1: The cow visits the cow.[(((triple6 triple9) -> rule6))]