The dog is round. The dog likes the tiger. The dog needs the tiger. The tiger eats the dog. The tiger is big. The tiger is nice. The tiger is round. The tiger is young. The tiger likes the dog. The tiger needs the dog. If someone needs the dog then the dog is big. If someone needs the tiger then the tiger is big. If someone likes the tiger and they need the tiger then they are nice. If the tiger is nice then the tiger needs the dog. If the tiger likes the dog then the tiger is nice. If someone eats the tiger and they eat the dog then the tiger is round.
The tiger is round.
@0: The dog is round.[(triple1)] The dog likes the tiger.[(triple2)] The dog needs the tiger.[(triple3)] The tiger eats the dog.[(triple4)] The tiger is big.[(triple5 OR ((triple3) -> rule2))] The tiger is nice.[(triple6 OR ((triple9) -> rule5))] The tiger is round.[(triple7)] The tiger is young.[(triple8)] The tiger likes the dog.[(triple9)] The tiger needs the dog.[(triple10 OR ((triple6) -> rule4) OR ((((triple9) -> rule5)) -> rule4))] @1: The dog is big.[(((triple10) -> rule1) OR ((((triple6) -> rule4)) -> rule1) OR ((((((triple9) -> rule5)) -> rule4)) -> rule1))] The dog is nice.[(((triple2 triple3) -> rule3))]