The cat is rough. The cat is round. The cat sees the tiger. The cat visits the tiger. The tiger eats the cat. The tiger is big. The tiger is kind. The tiger is red. The tiger is round. The tiger visits the cat. If someone eats the tiger and they are kind then they are red. If the cat sees the tiger and the tiger is round then the cat is rough. If someone is red then they eat the tiger.
The cat is not red.
@0: The cat is rough.[(triple1 OR ((triple3 triple9) -> rule2))] The cat is round.[(triple2)] The cat sees the tiger.[(triple3)] The cat visits the tiger.[(triple4)] The tiger eats the cat.[(triple5)] The tiger is big.[(triple6)] The tiger is kind.[(triple7)] The tiger is red.[(triple8)] The tiger is round.[(triple9)] The tiger visits the cat.[(triple10)] @1: The tiger eats the tiger.[(((triple8) -> rule3))]