The dog eats the tiger. The dog is big. The dog is cold. The dog is round. The dog is young. The dog needs the tiger. The dog visits the tiger. The tiger eats the dog. The tiger is big. The tiger is cold. The tiger is nice. The tiger is round. The tiger is young. The tiger needs the dog. The tiger visits the dog. If the dog visits the tiger then the dog eats the tiger. If someone is cold then they need the tiger. If someone visits the dog and they are cold then they are nice. If someone is young then they visit the dog. If someone needs the dog then they visit the dog. If someone needs the tiger then the tiger visits the dog. If someone eats the tiger then they are round. If someone needs the tiger then the tiger eats the dog.
The tiger is not big.
@0: The dog eats the tiger.[(triple1 OR ((triple7) -> rule1))] The dog is big.[(triple2)] The dog is cold.[(triple3)] The dog is round.[(triple4 OR ((triple1) -> rule7) OR ((((triple7) -> rule1)) -> rule7))] The dog is young.[(triple5)] The dog needs the tiger.[(triple6 OR ((triple3) -> rule2))] The dog visits the tiger.[(triple7)] The tiger eats the dog.[(triple8 OR ((triple6) -> rule8) OR ((((triple10) -> rule2)) -> rule8) OR ((((triple3) -> rule2)) -> rule8))] The tiger is big.[(triple9)] The tiger is cold.[(triple10)] The tiger is nice.[(triple11 OR ((triple15 triple10) -> rule3) OR ((((triple13) -> rule4) triple10) -> rule3) OR ((((triple14) -> rule5) triple10) -> rule3) OR ((((triple6) -> rule6) triple10) -> rule3) OR ((((((triple10) -> rule2)) -> rule6) triple10) -> rule3) OR ((((((triple3) -> rule2)) -> rule6) triple10) -> rule3))] The tiger is round.[(triple12)] The tiger is young.[(triple13)] The tiger needs the dog.[(triple14)] The tiger visits the dog.[(triple15 OR ((triple13) -> rule4) OR ((triple14) -> rule5) OR ((triple6) -> rule6) OR ((((triple10) -> rule2)) -> rule6) OR ((((triple3) -> rule2)) -> rule6))] @1: The dog visits the dog.[(((triple5) -> rule4))] The tiger needs the tiger.[(((triple10) -> rule2))] @2: The dog is nice.[(((((triple5) -> rule4) triple3) -> rule3))]