The bear is young. The bear sees the cat. The cat chases the squirrel. The cat sees the squirrel. The cat visits the bear. The squirrel is green. The squirrel sees the cat. All big things are red. If something sees the squirrel and the squirrel sees the bear then the squirrel chases the cat. If something is blue then it is big. If the squirrel is blue then the squirrel visits the cat. All green things are blue. If something chases the cat then it sees the squirrel.
The cat is not blue.
@0: The bear is young.[(triple1)] The bear sees the cat.[(triple2)] The cat chases the squirrel.[(triple3)] The cat sees the squirrel.[(triple4)] The cat visits the bear.[(triple5)] The squirrel is green.[(triple6)] The squirrel sees the cat.[(triple7)] @1: The squirrel is blue.[(((triple6) -> rule5))] @2: The squirrel is big.[(((((triple6) -> rule5)) -> rule3))] The squirrel visits the cat.[(((((triple6) -> rule5)) -> rule4))] @3: The squirrel is red.[(((((((triple6) -> rule5)) -> rule3)) -> rule1))]