The dog chases the squirrel. The dog is blue. The dog likes the squirrel. The squirrel chases the dog. The squirrel is big. The squirrel likes the dog. The squirrel needs the dog. If something is cold then it needs the squirrel. If something needs the dog and it needs the squirrel then the dog chases the squirrel. If something needs the squirrel and the squirrel is big then it is green. If something chases the dog and it needs the dog then the dog is rough. If something needs the dog then it chases the squirrel. If the dog is green and the dog needs the squirrel then the dog likes the squirrel. If something likes the squirrel then the squirrel likes the dog. If something chases the squirrel and it likes the dog then the dog is cold.
The squirrel is blue.
@0: The dog chases the squirrel.[(triple1)] The dog is blue.[(triple2)] The dog likes the squirrel.[(triple3 OR ((((((((((triple7) -> rule5) triple6) -> rule8)) -> rule1) triple5) -> rule3) ((((((triple7) -> rule5) triple6) -> rule8)) -> rule1)) -> rule6))] The squirrel chases the dog.[(triple4)] The squirrel is big.[(triple5)] The squirrel likes the dog.[(triple6 OR ((triple3) -> rule7))] The squirrel needs the dog.[(triple7)] @1: The dog is rough.[(((triple4 triple7) -> rule4))] The squirrel chases the squirrel.[(((triple7) -> rule5))] @2: The dog is cold.[(((((triple7) -> rule5) triple6) -> rule8) OR ((((triple7) -> rule5) ((triple3) -> rule7)) -> rule8))] @3: The dog needs the squirrel.[(((((((triple7) -> rule5) triple6) -> rule8)) -> rule1) OR ((((((triple7) -> rule5) ((triple3) -> rule7)) -> rule8)) -> rule1))] @4: The dog is green.[(((((((((triple7) -> rule5) triple6) -> rule8)) -> rule1) triple5) -> rule3) OR ((((((((triple7) -> rule5) ((triple3) -> rule7)) -> rule8)) -> rule1) triple5) -> rule3))]