The cat chases the dog. The cat eats the dog. The cat is green. The cat is kind. The cat is nice. The cat is red. The cat is round. The cat visits the dog. The dog chases the cat. The dog eats the cat. The dog is green. The dog is kind. The dog is nice. The dog is red. The dog is round. The dog visits the cat. If something eats the cat and the cat chases the dog then the dog eats the cat. If something eats the dog and it is green then it chases the dog. If something chases the dog then it visits the dog. If something visits the dog and it eats the dog then the dog is kind. If something is green then it eats the dog. If something chases the cat then the cat chases the dog.
The dog chases the dog.
@0: The cat chases the dog.[(triple1 OR ((triple9) -> rule6) OR ((triple2 triple3) -> rule2) OR ((((triple3) -> rule5) triple3) -> rule2))] The cat eats the dog.[(triple2 OR ((triple3) -> rule5))] The cat is green.[(triple3)] The cat is kind.[(triple4)] The cat is nice.[(triple5)] The cat is red.[(triple6)] The cat is round.[(triple7)] The cat visits the dog.[(triple8 OR ((triple1) -> rule3) OR ((((triple9) -> rule6)) -> rule3) OR ((((triple2 triple3) -> rule2)) -> rule3) OR ((((((triple3) -> rule5) triple3) -> rule2)) -> rule3))] The dog chases the cat.[(triple9)] The dog eats the cat.[(triple10)] The dog is green.[(triple11)] The dog is kind.[(triple12 OR ((triple8 triple2) -> rule4) OR ((triple8 ((triple3) -> rule5)) -> rule4) OR ((((triple1) -> rule3) triple2) -> rule4) OR ((((triple1) -> rule3) ((triple3) -> rule5)) -> rule4) OR ((((((triple9) -> rule6)) -> rule3) triple2) -> rule4) OR ((((((triple2 triple3) -> rule2)) -> rule3) triple2) -> rule4) OR ((((((triple9) -> rule6)) -> rule3) ((triple3) -> rule5)) -> rule4) OR ((((((triple2 triple3) -> rule2)) -> rule3) ((triple3) -> rule5)) -> rule4) OR ((((((((triple3) -> rule5) triple3) -> rule2)) -> rule3) triple2) -> rule4) OR ((((((((triple11) -> rule5) triple11) -> rule2)) -> rule3) ((triple11) -> rule5)) -> rule4) OR ((((((((triple3) -> rule5) triple3) -> rule2)) -> rule3) ((triple3) -> rule5)) -> rule4))] The dog is nice.[(triple13)] The dog is red.[(triple14)] The dog is round.[(triple15)] The dog visits the cat.[(triple16)] @1: The dog eats the dog.[(((triple11) -> rule5))] @2: The dog chases the dog.[(((((triple11) -> rule5) triple11) -> rule2))] @3: The dog visits the dog.[(((((((triple11) -> rule5) triple11) -> rule2)) -> rule3))]