The cat is blue. The cat is nice. The cat does not like the dog. The cat visits the rabbit. The dog is big. The dog is not cold. The dog likes the squirrel. The rabbit eats the cat. The rabbit eats the squirrel. The rabbit does not like the dog. The rabbit visits the cat. The rabbit does not visit the dog. The rabbit visits the squirrel. The squirrel eats the rabbit. The squirrel is cold. The squirrel visits the cat. If something visits the rabbit then it likes the rabbit. If something is rough and it visits the dog then it likes the squirrel. If something eats the cat then it does not visit the dog. If something likes the rabbit then the rabbit is rough. If the rabbit is rough then the rabbit eats the dog. If the rabbit is big and the rabbit likes the dog then the rabbit does not eat the dog. If something visits the dog then it eats the dog. If something is rough and it eats the dog then it visits the rabbit.
The squirrel is not rough.
@0: The cat does not like the dog.[(triple3)] The cat is blue.[(triple1)] The cat is nice.[(triple2)] The cat visits the rabbit.[(triple4)] The dog is big.[(triple5)] The dog is not cold.[(triple6)] The dog likes the squirrel.[(triple7)] The rabbit does not like the dog.[(triple10)] The rabbit does not visit the dog.[(triple12 OR ((triple8) -> rule3))] The rabbit eats the cat.[(triple8)] The rabbit eats the squirrel.[(triple9)] The rabbit visits the cat.[(triple11)] The rabbit visits the squirrel.[(triple13)] The squirrel eats the rabbit.[(triple14)] The squirrel is cold.[(triple15)] The squirrel visits the cat.[(triple16)] @1: The cat likes the rabbit.[(((triple4) -> rule1))] @2: The rabbit is rough.[(((((triple4) -> rule1)) -> rule4))] @3: The rabbit eats the dog.[(((((((triple4) -> rule1)) -> rule4)) -> rule5))] @4: The rabbit visits the rabbit.[(((((((triple4) -> rule1)) -> rule4) ((((((triple4) -> rule1)) -> rule4)) -> rule5)) -> rule8))] @5: The rabbit likes the rabbit.[(((((((((triple4) -> rule1)) -> rule4) ((((((triple4) -> rule1)) -> rule4)) -> rule5)) -> rule8)) -> rule1))]