The cow eats the tiger. The cow is rough. The cow likes the tiger. The squirrel visits the cow. The tiger is big. The tiger visits the cow. The tiger visits the squirrel. If something eats the tiger then it is young. All young things are cold. If something likes the squirrel then it is cold. If something is young and it visits the tiger then it is big. If something visits the cow then it is big. If the tiger visits the cow and the cow is young then the cow is big. If something visits the cow then it eats the tiger. If the squirrel likes the tiger and the squirrel eats the tiger then the squirrel eats the cow.
The squirrel does not like the cow.
@0: The cow eats the tiger.[(triple1)] The cow is rough.[(triple2)] The cow likes the tiger.[(triple3)] The squirrel visits the cow.[(triple4)] The tiger is big.[(triple5 OR ((triple6) -> rule5))] The tiger visits the cow.[(triple6)] The tiger visits the squirrel.[(triple7)] @1: The cow is young.[(((triple1) -> rule1))] The squirrel eats the tiger.[(((triple4) -> rule7))] The squirrel is big.[(((triple4) -> rule5))] The tiger eats the tiger.[(((triple6) -> rule7))] @2: The cow is big.[(((triple6 ((triple1) -> rule1)) -> rule6))] The cow is cold.[(((((triple1) -> rule1)) -> rule2))] The squirrel is young.[(((((triple4) -> rule7)) -> rule1))] The tiger is young.[(((((triple6) -> rule7)) -> rule1))] @3: The squirrel is cold.[(((((((triple4) -> rule7)) -> rule1)) -> rule2))] The tiger is cold.[(((((((triple6) -> rule7)) -> rule1)) -> rule2))]