The cat chases the mouse. The cat is big. The cat is blue. The cat is kind. The cat is red. The cat is round. The cat needs the mouse. The cat sees the mouse. The mouse chases the cat. The mouse is big. The mouse is blue. The mouse is kind. The mouse is red. The mouse is round. The mouse needs the cat. The mouse sees the cat. If someone sees the cat then the cat is big. If someone sees the cat and the cat chases the mouse then the mouse chases the cat. If someone needs the cat then they are round. If someone sees the cat then the cat chases the mouse. If the mouse chases the cat and the cat chases the mouse then the mouse sees the cat. If someone sees the mouse and the mouse is big then they need the mouse. If someone sees the mouse then the mouse chases the cat. If someone sees the mouse then the mouse is kind.
The mouse is not round.
@0: The cat chases the mouse.[(triple1 OR ((triple16) -> rule4))] The cat is big.[(triple2 OR ((triple16) -> rule1) OR ((((triple9 triple1) -> rule5)) -> rule1) OR ((((((triple8) -> rule7) triple1) -> rule5)) -> rule1))] The cat is blue.[(triple3)] The cat is kind.[(triple4)] The cat is red.[(triple5)] The cat is round.[(triple6)] The cat needs the mouse.[(triple7 OR ((triple8 triple10) -> rule6))] The cat sees the mouse.[(triple8)] The mouse chases the cat.[(triple9 OR ((triple8) -> rule7) OR ((triple16 triple1) -> rule2) OR ((triple16 ((triple16) -> rule4)) -> rule2))] The mouse is big.[(triple10)] The mouse is blue.[(triple11)] The mouse is kind.[(triple12 OR ((triple8) -> rule8))] The mouse is red.[(triple13)] The mouse is round.[(triple14 OR ((triple15) -> rule3))] The mouse needs the cat.[(triple15)] The mouse sees the cat.[(triple16 OR ((triple9 triple1) -> rule5) OR ((((triple8) -> rule7) triple1) -> rule5))]