The cat is not young. The cat needs the rabbit. The lion is big. The lion is red. The lion needs the cat. The lion needs the rabbit. The lion sees the cat. The lion sees the rabbit. The lion visits the cat. The rabbit is big. The rabbit is red. The rabbit is young. The rabbit does not need the cat. The rabbit sees the cat. The rabbit does not see the lion. The rabbit visits the lion. If the lion sees the rabbit and the lion is not blue then the lion is not big. If something sees the cat and the cat is red then it sees the rabbit. If something is cold and blue then it does not visit the cat. If something is blue and cold then it does not need the rabbit. If something sees the cat and it needs the rabbit then the cat is red. If something is young and it does not see the rabbit then the rabbit is young.
The cat does not see the rabbit.
@0: The cat is not young.[(triple1)] The cat needs the rabbit.[(triple2)] The lion is big.[(triple3)] The lion is red.[(triple4)] The lion needs the cat.[(triple5)] The lion needs the rabbit.[(triple6)] The lion sees the cat.[(triple7)] The lion sees the rabbit.[(triple8 OR ((triple7 ((triple7 triple6) -> rule5)) -> rule2))] The lion visits the cat.[(triple9)] The rabbit does not need the cat.[(triple13)] The rabbit does not see the lion.[(triple15)] The rabbit is big.[(triple10)] The rabbit is red.[(triple11)] The rabbit is young.[(triple12)] The rabbit sees the cat.[(triple14)] The rabbit visits the lion.[(triple16)] @1: The cat is red.[(((triple7 triple6) -> rule5))] @2: The rabbit sees the rabbit.[(((triple14 ((triple7 triple6) -> rule5)) -> rule2))]