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