The bear likes the mouse. The cat needs the rabbit. The mouse is not kind. The mouse is not young. The mouse does not like the bear. The mouse sees the rabbit. The rabbit sees the mouse. If someone is young and green then they like the bear. If someone sees the cat then the cat is big. If someone is big then they see the cat. If someone sees the rabbit then the rabbit sees the cat. If someone likes the bear then the bear likes the cat. All green people are big.
The rabbit is big.
@0: The bear likes the mouse.[(triple1)] The cat needs the rabbit.[(triple2)] The mouse does not like the bear.[(triple5)] The mouse is not kind.[(triple3)] The mouse is not young.[(triple4)] The mouse sees the rabbit.[(triple6)] The rabbit sees the mouse.[(triple7)] @1: The rabbit sees the cat.[(((triple6) -> rule4))] @2: The cat is big.[(((((triple6) -> rule4)) -> rule2))] @3: The cat sees the cat.[(((((((triple6) -> rule4)) -> rule2)) -> rule3))]