The dog is green. The dog is red. The dog is round. The dog is young. The dog likes the rabbit. The dog needs the rabbit. The dog visits the rabbit. The rabbit is green. The rabbit is nice. The rabbit is red. The rabbit is round. The rabbit is young. The rabbit likes the dog. The rabbit needs the dog. The rabbit visits the dog. If something likes the rabbit then the rabbit is red. If something visits the dog and it is green then it visits the rabbit. If something needs the rabbit then it visits the rabbit. If the rabbit needs the dog and the dog is green then the rabbit is red. If something likes the rabbit then the rabbit needs the dog. If the dog visits the rabbit and the rabbit visits the dog then the dog needs the rabbit. If something is young then it likes the dog. If something visits the dog and the dog is young then the dog needs the rabbit.
The dog is green.
@0: The dog is green.[(triple1)] The dog is red.[(triple2)] The dog is round.[(triple3)] The dog is young.[(triple4)] The dog likes the rabbit.[(triple5)] The dog needs the rabbit.[(triple6 OR ((triple15 triple4) -> rule8) OR ((triple7 triple15) -> rule6))] The dog visits the rabbit.[(triple7 OR ((triple6) -> rule3) OR ((((triple15 triple4) -> rule8)) -> rule3))] The rabbit is green.[(triple8)] The rabbit is nice.[(triple9)] The rabbit is red.[(triple10 OR ((triple5) -> rule1) OR ((triple14 triple1) -> rule4) OR ((((triple5) -> rule5) triple1) -> rule4))] The rabbit is round.[(triple11)] The rabbit is young.[(triple12)] The rabbit likes the dog.[(triple13 OR ((triple12) -> rule7))] The rabbit needs the dog.[(triple14 OR ((triple5) -> rule5))] The rabbit visits the dog.[(triple15)] @1: The dog likes the dog.[(((triple4) -> rule7))] The rabbit visits the rabbit.[(((triple15 triple8) -> rule2))]