The cat is blue. The cat is young. The cat likes the cow. The cat visits the rabbit. The cow is blue. The cow is kind. The cow is young. The cow likes the cat. The cow needs the cat. The cow needs the rabbit. The cow visits the cat. The cow visits the rabbit. The rabbit is big. The rabbit is blue. The rabbit is kind. The rabbit likes the cat. If someone visits the rabbit then the rabbit needs the cow. If someone is blue and big then they visit the cat. If someone visits the cow then they like the cow. If someone needs the cow then they visit the cow. If someone is green and blue then they like the rabbit. If the cow is blue and the cow needs the cat then the cow likes the cat.
The cat does not visit the cat.
@0: The cat is blue.[(triple1)] The cat is young.[(triple2)] The cat likes the cow.[(triple3)] The cat visits the rabbit.[(triple4)] The cow is blue.[(triple5)] The cow is kind.[(triple6)] The cow is young.[(triple7)] The cow likes the cat.[(triple8 OR ((triple5 triple9) -> rule6))] The cow needs the cat.[(triple9)] The cow needs the rabbit.[(triple10)] The cow visits the cat.[(triple11)] The cow visits the rabbit.[(triple12)] The rabbit is big.[(triple13)] The rabbit is blue.[(triple14)] The rabbit is kind.[(triple15)] The rabbit likes the cat.[(triple16)] @1: The rabbit needs the cow.[(((triple12) -> rule1) OR ((triple4) -> rule1))] The rabbit visits the cat.[(((triple14 triple13) -> rule2))] @2: The rabbit visits the cow.[(((((triple12) -> rule1)) -> rule4) OR ((((triple4) -> rule1)) -> rule4))] @3: The rabbit likes the cow.[(((((((triple12) -> rule1)) -> rule4)) -> rule3) OR ((((((triple4) -> rule1)) -> rule4)) -> rule3))]