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