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