The cat chases the mouse. The cat eats the mouse. The cat is big. The cat is nice. The cat is red. The cat sees the mouse. The mouse chases the cat. The mouse eats the cat. The mouse is big. The mouse is nice. The mouse is red. The mouse sees the cat. If the mouse eats the cat then the cat sees the mouse. If the mouse is kind and the mouse sees the cat then the mouse eats the cat. If someone sees the cat then the cat is nice.
The mouse is kind.
@0: The cat chases the mouse.[(triple1)] The cat eats the mouse.[(triple2)] The cat is big.[(triple3)] The cat is nice.[(triple4 OR ((triple12) -> rule3))] The cat is red.[(triple5)] The cat sees the mouse.[(triple6 OR ((triple8) -> rule1))] The mouse chases the cat.[(triple7)] The mouse eats the cat.[(triple8)] The mouse is big.[(triple9)] The mouse is nice.[(triple10)] The mouse is red.[(triple11)] The mouse sees the cat.[(triple12)]