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