The dog is kind. The dog does not see the lion. The lion needs the dog. If something needs the dog and the dog is red then it chases the lion. If something is kind then it chases the lion. If the lion is rough and the lion chases the dog then the lion sees the dog. If the lion chases the dog then the lion is not green. If something sees the dog and it chases the lion then the dog is nice. If something chases the lion then it chases the dog. If something chases the dog then it is red. If something sees the dog and the dog chases the lion then it does not need the dog.
The dog is red.
@0: The dog does not see the lion.[(triple2)] The dog is kind.[(triple1)] The lion needs the dog.[(triple3)] @1: The dog chases the lion.[(((triple1) -> rule2))] @2: The dog chases the dog.[(((((triple1) -> rule2)) -> rule6))] @3: The dog is red.[(((((((triple1) -> rule2)) -> rule6)) -> rule7))] @4: The lion chases the lion.[(((triple3 ((((((triple1) -> rule2)) -> rule6)) -> rule7)) -> rule1))] @5: The lion chases the dog.[(((((triple3 ((((((triple1) -> rule2)) -> rule6)) -> rule7)) -> rule1)) -> rule6))] @6: The lion is not green.[(((((((triple3 ((((((triple1) -> rule2)) -> rule6)) -> rule7)) -> rule1)) -> rule6)) -> rule4))] The lion is red.[(((((((triple3 ((((((triple1) -> rule2)) -> rule6)) -> rule7)) -> rule1)) -> rule6)) -> rule7))]