The cat is big. The cat is round. The cow eats the rabbit. The cow eats the squirrel. The rabbit eats the cat. The rabbit is cold. The rabbit does not like the cow. The rabbit visits the cat. The squirrel visits the cat. The squirrel visits the rabbit. If someone visits the cat and the cat visits the squirrel then the cat does not eat the cow. If someone likes the squirrel then the squirrel visits the cow. If someone eats the cat and the cat eats the cow then the cow visits the rabbit. If someone likes the rabbit and they are not round then they do not like the cat. If someone is big then they like the squirrel. If someone likes the cat then the cat is not nice. If someone visits the cow and the cow likes the squirrel then the cow visits the cat. If someone visits the cow then the cow is big. If someone is round and they like the cat then they are nice.
The cow is not nice.
@0: The cat is big.[(triple1)] The cat is round.[(triple2)] The cow eats the rabbit.[(triple3)] The cow eats the squirrel.[(triple4)] The rabbit does not like the cow.[(triple7)] The rabbit eats the cat.[(triple5)] The rabbit is cold.[(triple6)] The rabbit visits the cat.[(triple8)] The squirrel visits the cat.[(triple9)] The squirrel visits the rabbit.[(triple10)] @1: The cat likes the squirrel.[(((triple1) -> rule5))] @2: The squirrel visits the cow.[(((((triple1) -> rule5)) -> rule2))] @3: The cow is big.[(((((((triple1) -> rule5)) -> rule2)) -> rule8))] @4: The cow likes the squirrel.[(((((((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule5))] @5: The cow visits the cat.[(((((((triple1) -> rule5)) -> rule2) ((((((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule5)) -> rule7))]