The cat is big. The cat is nice. The cat is red. The cat is round. The cat needs the rabbit. The cat sees the rabbit. The cat visits the rabbit. The rabbit is big. The rabbit is round. The rabbit is young. The rabbit sees the cat. The rabbit does not visit the cat. If something visits the cat then it is round. If something needs the rabbit then the rabbit does not visit the cat. If something visits the cat and it sees the cat then it sees the rabbit. If something needs the cat and it does not need the rabbit then it visits the rabbit. If something needs the cat and it needs the rabbit then the rabbit is not nice. If something needs the cat then it does not visit the cat. If something needs the rabbit and it sees the rabbit then the rabbit is big. If something visits the rabbit then it needs the cat.
The cat sees the cat.
@0: The cat is big.[(triple1)] The cat is nice.[(triple2)] The cat is red.[(triple3)] The cat is round.[(triple4)] The cat needs the rabbit.[(triple5)] The cat sees the rabbit.[(triple6)] The cat visits the rabbit.[(triple7)] The rabbit does not visit the cat.[(triple12 OR ((triple5) -> rule2))] The rabbit is big.[(triple8 OR ((triple5 triple6) -> rule7))] The rabbit is round.[(triple9)] The rabbit is young.[(triple10)] The rabbit sees the cat.[(triple11)] @1: The cat needs the cat.[(((triple7) -> rule8))] @2: The cat does not visit the cat.[(((((triple7) -> rule8)) -> rule6))] The rabbit is not nice.[(((((triple7) -> rule8) triple5) -> rule5))]