The dog eats the tiger. The dog is big. The dog is blue. The dog is kind. The dog is young. The dog likes the tiger. The dog sees the tiger. The tiger eats the dog. The tiger is young. The tiger sees the dog. If someone sees the dog then they eat the tiger. If someone likes the tiger and they see the dog then they see the tiger. If someone is red then they like the tiger. If someone likes the tiger and the tiger eats the dog then they see the tiger. If someone sees the dog and the dog sees the tiger then they are red. If someone sees the dog and they like the tiger then the tiger sees the dog. If the dog is big then the dog likes the tiger. If someone likes the dog then they like the tiger.
The tiger is big.
@0: The dog eats the tiger.[(triple1)] The dog is big.[(triple2)] The dog is blue.[(triple3)] The dog is kind.[(triple4)] The dog is young.[(triple5)] The dog likes the tiger.[(triple6 OR ((triple2) -> rule7))] The dog sees the tiger.[(triple7 OR ((triple6 triple8) -> rule4) OR ((((triple2) -> rule7) triple8) -> rule4))] The tiger eats the dog.[(triple8)] The tiger is young.[(triple9)] The tiger sees the dog.[(triple10)] @1: The tiger eats the tiger.[(((triple10) -> rule1))] The tiger is red.[(((triple10 triple7) -> rule5) OR ((triple10 ((triple6 triple8) -> rule4)) -> rule5) OR ((triple10 ((((triple2) -> rule7) triple8) -> rule4)) -> rule5))] @2: The tiger likes the tiger.[(((((triple10 triple7) -> rule5)) -> rule3) OR ((((triple10 ((triple6 triple8) -> rule4)) -> rule5)) -> rule3) OR ((((triple10 ((((triple2) -> rule7) triple8) -> rule4)) -> rule5)) -> rule3))] @3: The tiger sees the tiger.[(((((((triple10 triple7) -> rule5)) -> rule3) triple10) -> rule2) OR ((((((triple10 triple7) -> rule5)) -> rule3) triple8) -> rule4) OR ((((((triple10 ((triple6 triple8) -> rule4)) -> rule5)) -> rule3) triple10) -> rule2) OR ((((((triple10 ((triple6 triple8) -> rule4)) -> rule5)) -> rule3) triple8) -> rule4) OR ((((((triple10 ((((triple2) -> rule7) triple8) -> rule4)) -> rule5)) -> rule3) triple10) -> rule2) OR ((((((triple10 ((((triple2) -> rule7) triple8) -> rule4)) -> rule5)) -> rule3) triple8) -> rule4))]