The cat eats the tiger. The cat is kind. The cat sees the tiger. The tiger is blue. The tiger is cold. The tiger is kind. The tiger sees the cat. If someone eats the cat then they eat the tiger. If someone sees the tiger then the tiger eats the cat. If someone sees the cat and the cat is blue then the cat chases the tiger. If someone is rough and not cold then they chase the cat. If the cat eats the tiger and the tiger chases the cat then the tiger sees the cat. If someone sees the cat and they are rough then the cat sees the tiger. If someone is kind and they eat the tiger then they see the tiger. If the cat is not nice and the cat does not chase the tiger then the tiger is nice.
The tiger eats the cat.
@0: The cat eats the tiger.[(triple1)] The cat is kind.[(triple2)] The cat sees the tiger.[(triple3 OR ((triple2 triple1) -> rule7))] The tiger is blue.[(triple4)] The tiger is cold.[(triple5)] The tiger is kind.[(triple6)] The tiger sees the cat.[(triple7)] @1: The tiger eats the cat.[(((triple3) -> rule2) OR ((((triple2 triple1) -> rule7)) -> rule2))] @2: The tiger eats the tiger.[(((((triple3) -> rule2)) -> rule1) OR ((((((triple2 triple1) -> rule7)) -> rule2)) -> rule1))] @3: The tiger sees the tiger.[(((triple6 ((((triple3) -> rule2)) -> rule1)) -> rule7) OR ((triple6 ((((((triple2 triple1) -> rule7)) -> rule2)) -> rule1)) -> rule7))]