The dog chases the tiger. The dog is blue. The dog is kind. The dog is nice. The dog is red. The dog is round. The dog needs the tiger. The dog sees the tiger. The tiger chases the dog. The tiger is nice. The tiger needs the dog. The tiger sees the dog. If the dog needs the tiger then the dog chases the tiger. If something sees the dog and it sees the tiger then the tiger needs the dog. If something sees the dog then it is blue. If something sees the dog then the dog sees the tiger. If something needs the tiger and the tiger chases the dog then the tiger is round. If something is nice and it chases the tiger then the tiger needs the dog.
The dog is blue.
@0: The dog chases the tiger.[(triple1 OR ((triple7) -> rule1))] The dog is blue.[(triple2)] The dog is kind.[(triple3)] The dog is nice.[(triple4)] The dog is red.[(triple5)] The dog is round.[(triple6)] The dog needs the tiger.[(triple7)] The dog sees the tiger.[(triple8 OR ((triple12) -> rule4))] The tiger chases the dog.[(triple9)] The tiger is nice.[(triple10)] The tiger needs the dog.[(triple11 OR ((triple4 triple1) -> rule6) OR ((triple4 ((triple7) -> rule1)) -> rule6))] The tiger sees the dog.[(triple12)] @1: The tiger is blue.[(((triple12) -> rule3))] The tiger is round.[(((triple7 triple9) -> rule5))]