The dog is young. The dog sees the tiger. The dog visits the tiger. The tiger is blue. The tiger is cold. The tiger is red. The tiger is young. The tiger likes the dog. The tiger sees the dog. The tiger visits the dog. All blue people are young. If someone visits the tiger and the tiger likes the dog then the dog likes the tiger. If someone is young and they see the dog then the dog is young. If someone likes the dog and the dog sees the tiger then the tiger sees the dog. If someone is red and rough then they like the dog. If the dog visits the tiger then the tiger likes the dog.
The tiger is rough.
@0: The dog is young.[(triple1 OR ((triple7 triple9) -> rule3) OR ((triple7 ((triple8 triple2) -> rule4)) -> rule3) OR ((((triple4) -> rule1) triple9) -> rule3) OR ((((triple4) -> rule1) ((triple8 triple2) -> rule4)) -> rule3) OR ((triple7 ((((triple3) -> rule6) triple2) -> rule4)) -> rule3) OR ((((triple4) -> rule1) ((((triple3) -> rule6) triple2) -> rule4)) -> rule3))] The dog sees the tiger.[(triple2)] The dog visits the tiger.[(triple3)] The tiger is blue.[(triple4)] The tiger is cold.[(triple5)] The tiger is red.[(triple6)] The tiger is young.[(triple7 OR ((triple4) -> rule1))] The tiger likes the dog.[(triple8 OR ((triple3) -> rule6))] The tiger sees the dog.[(triple9 OR ((triple8 triple2) -> rule4) OR ((((triple3) -> rule6) triple2) -> rule4))] The tiger visits the dog.[(triple10)] @1: The dog likes the tiger.[(((triple3 triple8) -> rule2) OR ((triple3 ((triple3) -> rule6)) -> rule2))]