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