The cat eats the dog. The cat eats the rabbit. The cat eats the squirrel. The cat is red. The cat sees the dog. The cat sees the rabbit. The cat does not see the squirrel. The dog eats the cat. The dog eats the squirrel. The dog likes the rabbit. The dog likes the squirrel. The rabbit likes the dog. The rabbit likes the squirrel. The rabbit sees the squirrel. The squirrel is round. The squirrel sees the rabbit. If someone is big then they like the cat. If someone is round then they are big. If someone eats the squirrel and the squirrel eats the dog then they eat the dog. If someone eats the cat then they are round. If the cat is green and the cat eats the rabbit then the cat is big. If someone likes the rabbit and the rabbit sees the cat then the rabbit likes the dog. If someone eats the squirrel and they eat the dog then the dog is red. If someone is big and they see the rabbit then the rabbit eats the cat. If the cat eats the squirrel then the squirrel does not eat the cat.
The rabbit does not like the cat.
@0: The cat does not see the squirrel.[(triple7)] The cat eats the dog.[(triple1)] The cat eats the rabbit.[(triple2)] The cat eats the squirrel.[(triple3)] The cat is red.[(triple4)] The cat sees the dog.[(triple5)] The cat sees the rabbit.[(triple6)] The dog eats the cat.[(triple8)] The dog eats the squirrel.[(triple9)] The dog likes the rabbit.[(triple10)] The dog likes the squirrel.[(triple11)] The rabbit likes the dog.[(triple12)] The rabbit likes the squirrel.[(triple13)] The rabbit sees the squirrel.[(triple14)] The squirrel is round.[(triple15)] The squirrel sees the rabbit.[(triple16)] @1: The dog is red.[(((triple3 triple1) -> rule7))] The dog is round.[(((triple8) -> rule4))] The squirrel does not eat the cat.[(((triple3) -> rule9))] The squirrel is big.[(((triple15) -> rule2))] @2: The dog is big.[(((((triple8) -> rule4)) -> rule2))] The rabbit eats the cat.[(((((triple15) -> rule2) triple16) -> rule8))] The squirrel likes the cat.[(((((triple15) -> rule2)) -> rule1))] @3: The dog likes the cat.[(((((((triple8) -> rule4)) -> rule2)) -> rule1))] The rabbit is round.[(((((((triple15) -> rule2) triple16) -> rule8)) -> rule4))] @4: The rabbit is big.[(((((((((triple15) -> rule2) triple16) -> rule8)) -> rule4)) -> rule2))] @5: The rabbit likes the cat.[(((((((((((triple15) -> rule2) triple16) -> rule8)) -> rule4)) -> rule2)) -> rule1))]