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