The cat chases the tiger. The cat is kind. The cat is nice. The cat sees the tiger. The tiger eats the cat. The tiger is nice. The tiger is rough. If someone eats the cat then the cat chases the tiger. If someone eats the tiger then they see the cat. If someone eats the cat and they are rough then the cat is red. If the cat is young then the cat sees the tiger. If someone chases the tiger and they chase the cat then the cat is rough. If someone is red and nice then they chase the cat. If someone eats the tiger and the tiger sees the cat then the tiger eats the cat. If someone chases the cat then they are kind.
The cat sees the tiger.
@0: The cat chases the tiger.[(triple1 OR ((triple5) -> rule1))] The cat is kind.[(triple2 OR ((((((triple5 triple7) -> rule3) triple3) -> rule6)) -> rule8))] The cat is nice.[(triple3)] The cat sees the tiger.[(triple4)] The tiger eats the cat.[(triple5)] The tiger is nice.[(triple6)] The tiger is rough.[(triple7)] @1: The cat is red.[(((triple5 triple7) -> rule3))] @2: The cat chases the cat.[(((((triple5 triple7) -> rule3) triple3) -> rule6))] @3: The cat is rough.[(((triple1 ((((triple5 triple7) -> rule3) triple3) -> rule6)) -> rule5) OR ((((triple5) -> rule1) ((((triple5 triple7) -> rule3) triple3) -> rule6)) -> rule5))]