The dog chases the tiger. The dog is red. The dog likes the tiger. The dog needs the tiger. The tiger is red. The tiger likes the dog. The tiger needs the dog. Red people are blue. If the tiger is blue and the tiger likes the dog then the dog is young. If the dog is young then the dog is rough. If someone chases the tiger and the tiger chases the dog then the dog needs the tiger. If someone needs the dog then the dog needs the tiger. If the tiger is red then the tiger chases the dog.
The dog is young.
@0: The dog chases the tiger.[(triple1)] The dog is red.[(triple2)] The dog likes the tiger.[(triple3)] The dog needs the tiger.[(triple4 OR ((triple7) -> rule5) OR ((triple1 ((triple5) -> rule6)) -> rule4))] The tiger is red.[(triple5)] The tiger likes the dog.[(triple6)] The tiger needs the dog.[(triple7)] @1: The dog is blue.[(((triple2) -> rule1))] The tiger chases the dog.[(((triple5) -> rule6))] The tiger is blue.[(((triple5) -> rule1))] @2: The dog is young.[(((((triple5) -> rule1) triple6) -> rule2))] @3: The dog is rough.[(((((((triple5) -> rule1) triple6) -> rule2)) -> rule3))]