The dog is big. The dog is blue. The dog is cold. The dog is red. The dog is rough. The dog needs the tiger. The dog sees the tiger. The dog visits the tiger. The tiger is big. The tiger is blue. The tiger is cold. The tiger is red. The tiger is rough. The tiger needs the dog. The tiger sees the dog. The tiger visits the dog. If something is red then it is cold. If something visits the tiger then the tiger visits the dog. If something is big and cold then it sees the dog. If something sees the tiger and it sees the dog then it visits the dog. If something visits the dog then it needs the dog. If something visits the dog then it needs the tiger. If something visits the dog and the dog is blue then the dog is rough. If something is red and it sees the dog then the dog is blue.
The dog needs the dog.
@0: The dog is big.[(triple1)] The dog is blue.[(triple2 OR ((triple12 triple15) -> rule8) OR ((triple12 ((triple9 triple11) -> rule3)) -> rule8) OR ((triple4 ((triple1 triple3) -> rule3)) -> rule8) OR ((triple12 ((triple9 ((triple12) -> rule1)) -> rule3)) -> rule8) OR ((triple4 ((triple1 ((triple4) -> rule1)) -> rule3)) -> rule8))] The dog is cold.[(triple3 OR ((triple4) -> rule1))] The dog is red.[(triple4)] The dog is rough.[(triple5 OR ((triple16 triple2) -> rule7) OR ((triple16 ((triple12 triple15) -> rule8)) -> rule7) OR ((((triple8) -> rule2) triple2) -> rule7) OR ((((triple8) -> rule2) ((triple12 triple15) -> rule8)) -> rule7) OR ((triple16 ((triple12 ((triple9 triple11) -> rule3)) -> rule8)) -> rule7) OR ((triple16 ((triple4 ((triple1 triple3) -> rule3)) -> rule8)) -> rule7) OR ((((triple7 ((triple1 triple3) -> rule3)) -> rule4) triple2) -> rule7) OR ((((triple8) -> rule2) ((triple12 ((triple9 triple11) -> rule3)) -> rule8)) -> rule7) OR ((((triple8) -> rule2) ((triple4 ((triple1 triple3) -> rule3)) -> rule8)) -> rule7) OR ((((triple7 ((triple1 triple3) -> rule3)) -> rule4) ((triple12 triple15) -> rule8)) -> rule7) OR ((((triple7 ((triple1 triple3) -> rule3)) -> rule4) ((triple12 ((triple9 triple11) -> rule3)) -> rule8)) -> rule7) OR ((((triple7 ((triple1 triple3) -> rule3)) -> rule4) ((triple4 ((triple1 triple3) -> rule3)) -> rule8)) -> rule7) OR ((triple16 ((triple12 ((triple9 ((triple12) -> rule1)) -> rule3)) -> rule8)) -> rule7) OR ((triple16 ((triple4 ((triple1 ((triple4) -> rule1)) -> rule3)) -> rule8)) -> rule7) OR ((((triple7 ((triple1 ((triple4) -> rule1)) -> rule3)) -> rule4) triple2) -> rule7) OR ((((triple8) -> rule2) ((triple12 ((triple9 ((triple12) -> rule1)) -> rule3)) -> rule8)) -> rule7) OR ((((triple8) -> rule2) ((triple4 ((triple1 ((triple4) -> rule1)) -> rule3)) -> rule8)) -> rule7) OR ((((triple7 ((triple1 ((triple4) -> rule1)) -> rule3)) -> rule4) ((triple12 triple15) -> rule8)) -> rule7) OR ((((triple7 ((triple1 triple3) -> rule3)) -> rule4) ((triple12 ((triple9 ((triple12) -> rule1)) -> rule3)) -> rule8)) -> rule7) OR ((((triple7 ((triple1 triple3) -> rule3)) -> rule4) ((triple4 ((triple1 ((triple4) -> rule1)) -> rule3)) -> rule8)) -> rule7) OR ((((triple7 ((triple1 ((triple4) -> rule1)) -> rule3)) -> rule4) ((triple12 ((triple9 triple11) -> rule3)) -> rule8)) -> rule7) OR ((((triple7 ((triple1 ((triple4) -> rule1)) -> rule3)) -> rule4) ((triple4 ((triple1 triple3) -> rule3)) -> rule8)) -> rule7) OR ((((triple7 ((triple1 ((triple4) -> rule1)) -> rule3)) -> rule4) ((triple12 ((triple9 ((triple12) -> rule1)) -> rule3)) -> rule8)) -> rule7) OR ((((triple7 ((triple1 ((triple4) -> rule1)) -> rule3)) -> rule4) ((triple4 ((triple1 ((triple4) -> rule1)) -> rule3)) -> rule8)) -> rule7))] The dog needs the tiger.[(triple6 OR ((((triple7 ((triple1 triple3) -> rule3)) -> rule4)) -> rule6) OR ((((triple7 ((triple1 ((triple4) -> rule1)) -> rule3)) -> rule4)) -> rule6))] The dog sees the tiger.[(triple7)] The dog visits the tiger.[(triple8)] The tiger is big.[(triple9)] The tiger is blue.[(triple10)] The tiger is cold.[(triple11 OR ((triple12) -> rule1))] The tiger is red.[(triple12)] The tiger is rough.[(triple13)] The tiger needs the dog.[(triple14 OR ((triple16) -> rule5) OR ((((triple8) -> rule2)) -> rule5))] The tiger sees the dog.[(triple15 OR ((triple9 triple11) -> rule3) OR ((triple9 ((triple12) -> rule1)) -> rule3))] The tiger visits the dog.[(triple16 OR ((triple8) -> rule2))] @1: The dog sees the dog.[(((triple1 triple3) -> rule3) OR ((triple1 ((triple4) -> rule1)) -> rule3))] The tiger needs the tiger.[(((triple16) -> rule6) OR ((((triple8) -> rule2)) -> rule6))] @2: The dog visits the dog.[(((triple7 ((triple1 triple3) -> rule3)) -> rule4) OR ((triple7 ((triple1 ((triple4) -> rule1)) -> rule3)) -> rule4))] @3: The dog needs the dog.[(((((triple7 ((triple1 triple3) -> rule3)) -> rule4)) -> rule5) OR ((((triple7 ((triple1 ((triple4) -> rule1)) -> rule3)) -> rule4)) -> rule5))]