The dog is not big. The dog sees the tiger. The tiger does not eat the dog. The tiger is big. The tiger is nice. The tiger is red. The tiger is rough. The tiger is round. The tiger does not need the dog. The tiger sees the dog. If something eats the dog then the dog is red. If something needs the dog then the dog needs the tiger. If something eats the dog and it sees the tiger then it is nice. If something eats the dog and the dog is red then the dog does not see the tiger. If something sees the dog then the dog eats the tiger. If something is big and red then it does not eat the dog.
The dog is rough.
@0: The dog is not big.[(triple1)] The dog sees the tiger.[(triple2)] The tiger does not eat the dog.[(triple3 OR ((triple4 triple6) -> rule6))] The tiger does not need the dog.[(triple9)] The tiger is big.[(triple4)] The tiger is nice.[(triple5)] The tiger is red.[(triple6)] The tiger is rough.[(triple7)] The tiger is round.[(triple8)] The tiger sees the dog.[(triple10)] @1: The dog eats the tiger.[(((triple10) -> rule5))]