The cat is cold. The cat sees the mouse. The mouse chases the cat. The mouse is big. The mouse is cold. The mouse likes the cat. The mouse sees the cat. If someone is blue then they are not round. If someone is big then they chase the mouse. If the cat sees the mouse and the mouse chases the cat then the cat is blue. If the cat is blue then the cat is big. If someone chases the mouse and the mouse does not chase the cat then the cat likes the mouse. If someone is nice and cold then they are not big.
The mouse does not like the cat.
@0: The cat is cold.[(triple1)] The cat sees the mouse.[(triple2)] The mouse chases the cat.[(triple3)] The mouse is big.[(triple4)] The mouse is cold.[(triple5)] The mouse likes the cat.[(triple6)] The mouse sees the cat.[(triple7)] @1: The cat is blue.[(((triple2 triple3) -> rule3))] The mouse chases the mouse.[(((triple4) -> rule2))] @2: The cat is big.[(((((triple2 triple3) -> rule3)) -> rule4))] The cat is not round.[(((((triple2 triple3) -> rule3)) -> rule1))] @3: The cat chases the mouse.[(((((((triple2 triple3) -> rule3)) -> rule4)) -> rule2))]