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