The cat needs the dog. The cat sees the mouse. The dog is young. The dog sees the squirrel. The mouse is nice. The mouse needs the dog. The squirrel is green. If someone likes the mouse then they see the cat. If someone is green and they like the squirrel then the squirrel likes the cat. If someone sees the mouse and they need the dog then the dog likes the cat. All nice people are red. If someone is red then they are young. If someone is young and nice then they like the squirrel.
The cat sees the mouse.
@0: The cat needs the dog.[(triple1)] The cat sees the mouse.[(triple2)] The dog is young.[(triple3)] The dog sees the squirrel.[(triple4)] The mouse is nice.[(triple5)] The mouse needs the dog.[(triple6)] The squirrel is green.[(triple7)] @1: The dog likes the cat.[(((triple2 triple1) -> rule3))] The mouse is red.[(((triple5) -> rule4))] @2: The mouse is young.[(((((triple5) -> rule4)) -> rule5))] @3: The mouse likes the squirrel.[(((((((triple5) -> rule4)) -> rule5) triple5) -> rule6))]