The bald eagle is red. The bald eagle is young. The cat chases the mouse. The cat is big. The mouse is big. The mouse is red. The mouse is young. If something chases the mouse then it is green. If something chases the bald eagle then it is big. If something sees the cat and it sees the bald eagle then it is red. If the mouse is green then the mouse is young. If something is green then it sees the cat. If something sees the cat then it sees the mouse.
The bald eagle is cold.
@0: The bald eagle is red.[(triple1)] The bald eagle is young.[(triple2)] The cat chases the mouse.[(triple3)] The cat is big.[(triple4)] The mouse is big.[(triple5)] The mouse is red.[(triple6)] The mouse is young.[(triple7)] @1: The cat is green.[(((triple3) -> rule1))] @2: The cat sees the cat.[(((((triple3) -> rule1)) -> rule5))] @3: The cat sees the mouse.[(((((((triple3) -> rule1)) -> rule5)) -> rule6))]