The cat does not eat the rabbit. The cat is green. The cat is nice. The cat is not rough. The cat is round. The cat is young. The cat needs the rabbit. The cat visits the rabbit. The rabbit eats the cat. The rabbit is green. The rabbit is nice. The rabbit is not rough. The rabbit is young. The rabbit needs the cat. The rabbit visits the cat. If someone is rough then they eat the rabbit. If the cat is green then the cat visits the rabbit. If someone eats the rabbit and they need the cat then the cat needs the rabbit. If someone eats the rabbit and the rabbit needs the cat then the rabbit eats the cat. If someone is nice and they need the cat then they visit the cat. If someone visits the rabbit and they do not eat the rabbit then they need the cat. If someone visits the cat and the cat eats the rabbit then they visit the rabbit. If someone visits the cat then they visit the rabbit.
The cat visits the cat.
@0: The cat does not eat the rabbit.[(triple1)] The cat is green.[(triple2)] The cat is nice.[(triple3)] The cat is not rough.[(triple4)] The cat is round.[(triple5)] The cat is young.[(triple6)] The cat needs the rabbit.[(triple7)] The cat visits the rabbit.[(triple8 OR ((triple2) -> rule2))] The rabbit eats the cat.[(triple9)] The rabbit is green.[(triple10)] The rabbit is nice.[(triple11)] The rabbit is not rough.[(triple12)] The rabbit is young.[(triple13)] The rabbit needs the cat.[(triple14)] The rabbit visits the cat.[(triple15 OR ((triple11 triple14) -> rule5))] @1: The cat needs the cat.[(((triple8 triple1) -> rule6) OR ((((triple2) -> rule2) triple1) -> rule6))] The rabbit visits the rabbit.[(((triple15) -> rule8) OR ((((triple11 triple14) -> rule5)) -> rule8))] @2: The cat visits the cat.[(((triple3 ((triple8 triple1) -> rule6)) -> rule5) OR ((triple3 ((((triple2) -> rule2) triple1) -> rule6)) -> rule5))]