The cat is big. The cat is cold. The cat does not need the rabbit. The cat does not need the squirrel. The rabbit eats the squirrel. The rabbit visits the cat. The squirrel eats the cat. The squirrel is nice. The squirrel needs the cat. The squirrel needs the rabbit. If someone needs the cat and the cat does not need the squirrel then they do not eat the squirrel. If the rabbit visits the squirrel and the squirrel needs the rabbit then the rabbit does not need the cat. If someone eats the squirrel and the squirrel is nice then the squirrel is cold. If someone eats the squirrel then they eat the cat. If someone eats the squirrel and they visit the rabbit then they are young. If someone eats the cat then they visit the rabbit.
The cat is not young.
@0: The cat does not need the rabbit.[(triple3)] The cat does not need the squirrel.[(triple4)] The cat is big.[(triple1)] The cat is cold.[(triple2)] The rabbit eats the squirrel.[(triple5)] The rabbit visits the cat.[(triple6)] The squirrel eats the cat.[(triple7)] The squirrel is nice.[(triple8)] The squirrel needs the cat.[(triple9)] The squirrel needs the rabbit.[(triple10)] @1: The rabbit eats the cat.[(((triple5) -> rule4))] The squirrel does not eat the squirrel.[(((triple9 triple4) -> rule1))] The squirrel is cold.[(((triple5 triple8) -> rule3))] The squirrel visits the rabbit.[(((triple7) -> rule6))] @2: The rabbit visits the rabbit.[(((((triple5) -> rule4)) -> rule6))] @3: The rabbit is young.[(((triple5 ((((triple5) -> rule4)) -> rule6)) -> rule5))]