The cat chases the mouse. The cat is nice. The mouse does not chase the cat. The mouse is kind. The mouse is round. The mouse likes the cat. The mouse sees the cat. If someone sees the cat then the cat is round. All nice, round people are cold.
The cat does not like the cat.
@0: The cat chases the mouse.[(triple1)] The cat is nice.[(triple2)] The mouse does not chase the cat.[(triple3)] The mouse is kind.[(triple4)] The mouse is round.[(triple5)] The mouse likes the cat.[(triple6)] The mouse sees the cat.[(triple7)] @1: The cat is round.[(((triple7) -> rule1))] @2: The cat is cold.[(((triple2 ((triple7) -> rule1)) -> rule2))]