The cat chases the mouse. The cat is big. The cat does not see the mouse. The cat visits the mouse. The mouse does not chase the cat. The mouse is big. The mouse is blue. The mouse is not kind. The mouse sees the cat. The mouse visits the cat. If someone sees the cat and they are not kind then the cat is young. If someone is young and kind then they see the mouse. If someone visits the mouse then they chase the cat. Nice people are young. If someone sees the cat then they are nice. If someone sees the cat then the cat is big.
The cat is kind.
@0: The cat chases the mouse.[(triple1)] The cat does not see the mouse.[(triple3)] The cat is big.[(triple2 OR ((triple9) -> rule6))] The cat visits the mouse.[(triple4)] The mouse does not chase the cat.[(triple5)] The mouse is big.[(triple6)] The mouse is blue.[(triple7)] The mouse is not kind.[(triple8)] The mouse sees the cat.[(triple9)] The mouse visits the cat.[(triple10)] @1: The cat chases the cat.[(((triple4) -> rule3))] The cat is young.[(((triple9 triple8) -> rule1))] The mouse is nice.[(((triple9) -> rule5))] @2: The mouse is young.[(((((triple9) -> rule5)) -> rule4))]