The cat is big. The cat is cold. The cat is round. The cow is big. The squirrel eats the cow. The squirrel is blue. The squirrel visits the cow. If someone visits the cow and they visit the squirrel then they need the cat. If the cat needs the squirrel and the cat is blue then the cat visits the squirrel. If someone eats the cow then the cow needs the cat. If someone eats the cow then the cow is young. If someone is young then they eat the cow. If the squirrel visits the cow then the cow eats the cat.
The squirrel is big.
@0: The cat is big.[(triple1)] The cat is cold.[(triple2)] The cat is round.[(triple3)] The cow is big.[(triple4)] The squirrel eats the cow.[(triple5)] The squirrel is blue.[(triple6)] The squirrel visits the cow.[(triple7)] @1: The cow eats the cat.[(((triple7) -> rule6))] The cow is young.[(((triple5) -> rule4))] The cow needs the cat.[(((triple5) -> rule3) OR ((((((triple5) -> rule4)) -> rule5)) -> rule3))] @2: The cow eats the cow.[(((((triple5) -> rule4)) -> rule5))]