The dog is kind. The dog visits the tiger. The mouse chases the tiger. The mouse is round. The mouse sees the tiger. The tiger chases the dog. The tiger is big. If something sees the tiger then the tiger is red. If something chases the dog and the dog is kind then the dog is round. If something is round then it chases the tiger. If something visits the mouse then it is nice. If the mouse sees the dog and the mouse visits the dog then the dog visits the mouse. If something chases the tiger then it sees the dog.
The tiger is nice.
@0: The dog is kind.[(triple1)] The dog visits the tiger.[(triple2)] The mouse chases the tiger.[(triple3 OR ((triple4) -> rule3))] The mouse is round.[(triple4)] The mouse sees the tiger.[(triple5)] The tiger chases the dog.[(triple6)] The tiger is big.[(triple7)] @1: The dog is round.[(((triple6 triple1) -> rule2))] The mouse sees the dog.[(((triple3) -> rule6) OR ((((triple4) -> rule3)) -> rule6))] The tiger is red.[(((triple5) -> rule1))] @2: The dog chases the tiger.[(((((triple6 triple1) -> rule2)) -> rule3))] @3: The dog sees the dog.[(((((((triple6 triple1) -> rule2)) -> rule3)) -> rule6))]