The cow is big. The cow is green. The cow is not young. The cow sees the squirrel. The dog needs the squirrel. The dog sees the cow. The mouse is green. The mouse needs the cow. The mouse does not see the squirrel. The mouse visits the squirrel. The squirrel is blue. The squirrel is not cold. The squirrel needs the mouse. The squirrel visits the cow. The squirrel visits the dog. If something sees the mouse then it needs the cow. If something is cold then it needs the cow. If the mouse visits the squirrel then the mouse sees the dog. If something sees the squirrel and it sees the cow then it is cold. Big things are green. If something visits the dog then the dog is cold. If something needs the cow then it is not young. If the mouse does not see the dog then the mouse is blue.
The mouse is young.
@0: The cow is big.[(triple1)] The cow is green.[(triple2 OR ((triple1) -> rule5))] The cow is not young.[(triple3)] The cow sees the squirrel.[(triple4)] The dog needs the squirrel.[(triple5)] The dog sees the cow.[(triple6)] The mouse does not see the squirrel.[(triple9)] The mouse is green.[(triple7)] The mouse needs the cow.[(triple8)] The mouse visits the squirrel.[(triple10)] The squirrel is blue.[(triple11)] The squirrel is not cold.[(triple12)] The squirrel needs the mouse.[(triple13)] The squirrel visits the cow.[(triple14)] The squirrel visits the dog.[(triple15)] @1: The dog is cold.[(((triple15) -> rule6))] The mouse is not young.[(((triple8) -> rule7))] The mouse sees the dog.[(((triple10) -> rule3))] @2: The dog needs the cow.[(((((triple15) -> rule6)) -> rule2))] @3: The dog is not young.[(((((((triple15) -> rule6)) -> rule2)) -> rule7))]