The dog eats the rabbit. The dog is big. The dog is kind. The dog is rough. The dog is round. The dog needs the rabbit. The dog sees the rabbit. The rabbit eats the dog. The rabbit is big. The rabbit needs the dog. If something is round then it needs the dog. If something needs the dog then the dog eats the rabbit. If something is round then it needs the rabbit. If something eats the rabbit then it sees the rabbit. If something eats the dog and the dog needs the rabbit then the rabbit needs the dog. If the dog eats the rabbit and the rabbit sees the dog then the dog sees the rabbit.
The rabbit does not need the rabbit.
@0: The dog eats the rabbit.[(triple1 OR ((triple10) -> rule2) OR ((((triple5) -> rule1)) -> rule2) OR ((((triple8 triple6) -> rule5)) -> rule2) OR ((((triple8 ((triple5) -> rule3)) -> rule5)) -> rule2))] The dog is big.[(triple2)] The dog is kind.[(triple3)] The dog is rough.[(triple4)] The dog is round.[(triple5)] The dog needs the rabbit.[(triple6 OR ((triple5) -> rule3))] The dog sees the rabbit.[(triple7 OR ((triple1) -> rule4) OR ((((triple10) -> rule2)) -> rule4) OR ((((((triple5) -> rule1)) -> rule2)) -> rule4) OR ((((((triple8 triple6) -> rule5)) -> rule2)) -> rule4) OR ((((((triple8 ((triple5) -> rule3)) -> rule5)) -> rule2)) -> rule4))] The rabbit eats the dog.[(triple8)] The rabbit is big.[(triple9)] The rabbit needs the dog.[(triple10 OR ((triple8 triple6) -> rule5) OR ((triple8 ((triple5) -> rule3)) -> rule5))] @1: The dog needs the dog.[(((triple5) -> rule1))]