The cat chases the rabbit. The cat is green. The cat is nice. The cat is red. The cat is young. The cat needs the rabbit. The cat visits the rabbit. The rabbit chases the cat. The rabbit is not big. The rabbit is green. The rabbit is nice. The rabbit is red. The rabbit is young. The rabbit needs the cat. The rabbit visits the cat. If something visits the rabbit then it chases the rabbit. If something chases the rabbit and the rabbit visits the cat then the rabbit needs the cat. If something visits the rabbit and it does not chase the rabbit then it does not need the rabbit.
The rabbit visits the cat.
@0: The cat chases the rabbit.[(triple1 OR ((triple7) -> rule1))] The cat is green.[(triple2)] The cat is nice.[(triple3)] The cat is red.[(triple4)] The cat is young.[(triple5)] The cat needs the rabbit.[(triple6)] The cat visits the rabbit.[(triple7)] The rabbit chases the cat.[(triple8)] The rabbit is green.[(triple10)] The rabbit is nice.[(triple11)] The rabbit is not big.[(triple9)] The rabbit is red.[(triple12)] The rabbit is young.[(triple13)] The rabbit needs the cat.[(triple14 OR ((triple1 triple15) -> rule2) OR ((((triple7) -> rule1) triple15) -> rule2))] The rabbit visits the cat.[(triple15)]