The cat eats the cow. The cat is rough. The cat likes the cow. The cat likes the rabbit. The cat likes the squirrel. The cow eats the squirrel. The cow is big. The cow needs the cat. The rabbit eats the squirrel. The rabbit needs the cow. The squirrel eats the cow. The squirrel is rough. If someone is big and cold then they eat the cat. All big people are cold. If someone needs the squirrel and the squirrel likes the cow then the squirrel needs the rabbit. All rough people are big. If someone needs the squirrel then they are rough. If someone needs the rabbit and they need the cat then they eat the cow. If someone likes the rabbit and they eat the cow then the cow eats the cat. If the squirrel is blue then the squirrel needs the cow.
The cat is not big.
@0: The cat eats the cow.[(triple1)] The cat is rough.[(triple2)] The cat likes the cow.[(triple3)] The cat likes the rabbit.[(triple4)] The cat likes the squirrel.[(triple5)] The cow eats the squirrel.[(triple6)] The cow is big.[(triple7)] The cow needs the cat.[(triple8)] The rabbit eats the squirrel.[(triple9)] The rabbit needs the cow.[(triple10)] The squirrel eats the cow.[(triple11)] The squirrel is rough.[(triple12)] @1: The cat is big.[(((triple2) -> rule4))] The cow eats the cat.[(((triple4 triple1) -> rule7) OR ((triple7 ((triple7) -> rule2)) -> rule1))] The cow is cold.[(((triple7) -> rule2))] The squirrel is big.[(((triple12) -> rule4))] @2: The cat is cold.[(((((triple2) -> rule4)) -> rule2))] The squirrel is cold.[(((((triple12) -> rule4)) -> rule2))] @3: The cat eats the cat.[(((((triple2) -> rule4) ((((triple2) -> rule4)) -> rule2)) -> rule1))] The squirrel eats the cat.[(((((triple12) -> rule4) ((((triple12) -> rule4)) -> rule2)) -> rule1))]