The bear likes the cow. The cow does not chase the squirrel. The mouse chases the bear. The mouse is big. The mouse is blue. The mouse is round. The mouse sees the bear. The squirrel is not blue. The squirrel is not kind. The squirrel is round. If something sees the mouse then it is kind. If something is kind then it does not like the squirrel. If something is kind then it sees the squirrel. If something sees the cow and it does not like the mouse then the mouse is not big. If something likes the cow then the cow sees the mouse. If something sees the squirrel then the squirrel chases the bear. If something sees the cow then the cow does not see the squirrel. Big things are nice.
The mouse is big.
@0: The bear likes the cow.[(triple1)] The cow does not chase the squirrel.[(triple2)] The mouse chases the bear.[(triple3)] The mouse is big.[(triple4)] The mouse is blue.[(triple5)] The mouse is round.[(triple6)] The mouse sees the bear.[(triple7)] The squirrel is not blue.[(triple8)] The squirrel is not kind.[(triple9)] The squirrel is round.[(triple10)] @1: The cow sees the mouse.[(((triple1) -> rule5))] The mouse is nice.[(((triple4) -> rule8))] @2: The cow is kind.[(((((triple1) -> rule5)) -> rule1))] @3: The cow does not like the squirrel.[(((((((triple1) -> rule5)) -> rule1)) -> rule2))] The cow sees the squirrel.[(((((((triple1) -> rule5)) -> rule1)) -> rule3))] @4: The squirrel chases the bear.[(((((((((triple1) -> rule5)) -> rule1)) -> rule3)) -> rule6))]