The cat is cold. The cat is rough. The cat likes the dog. The cow is round. The cow visits the cat. The dog is big. The dog is green. The dog is rough. The dog likes the cat. The dog likes the cow. The dog likes the rabbit. The rabbit is big. The rabbit likes the cow. The rabbit needs the cat. The rabbit visits the cat. The rabbit visits the dog. If someone is cold then they like the cow. If someone visits the rabbit and the rabbit needs the cow then the cow needs the rabbit. If someone likes the cat then they need the cow. If someone needs the cow and the cow likes the cat then the cat visits the dog. If someone likes the rabbit and the rabbit visits the dog then they like the dog. If the rabbit likes the dog and the rabbit needs the cat then the dog visits the rabbit. If someone likes the rabbit and they are round then the rabbit needs the dog. If someone visits the cat and the cat likes the cow then they like the cat.
The cat does not like the cow.
@0: The cat is cold.[(triple1)] The cat is rough.[(triple2)] The cat likes the dog.[(triple3)] The cow is round.[(triple4)] The cow visits the cat.[(triple5)] The dog is big.[(triple6)] The dog is green.[(triple7)] The dog is rough.[(triple8)] The dog likes the cat.[(triple9)] The dog likes the cow.[(triple10)] The dog likes the rabbit.[(triple11)] The rabbit is big.[(triple12)] The rabbit likes the cow.[(triple13)] The rabbit needs the cat.[(triple14)] The rabbit visits the cat.[(triple15)] The rabbit visits the dog.[(triple16)] @1: The cat likes the cow.[(((triple1) -> rule1))] The dog likes the dog.[(((triple11 triple16) -> rule5))] The dog needs the cow.[(((triple9) -> rule3))] @2: The cow likes the cat.[(((triple5 ((triple1) -> rule1)) -> rule8))] The rabbit likes the cat.[(((triple15 ((triple1) -> rule1)) -> rule8))] @3: The cat visits the dog.[(((((triple9) -> rule3) ((triple5 ((triple1) -> rule1)) -> rule8)) -> rule4) OR ((((((triple15 ((triple1) -> rule1)) -> rule8)) -> rule3) ((triple5 ((triple1) -> rule1)) -> rule8)) -> rule4) OR ((((((triple5 ((triple1) -> rule1)) -> rule8)) -> rule3) ((triple5 ((triple1) -> rule1)) -> rule8)) -> rule4))] The cow needs the cow.[(((((triple5 ((triple1) -> rule1)) -> rule8)) -> rule3))] The rabbit needs the cow.[(((((triple15 ((triple1) -> rule1)) -> rule8)) -> rule3))]