The cat chases the dog. The cat is nice. The cat needs the dog. The cat sees the dog. The dog is kind. The dog needs the cat. The dog sees the cat. If something sees the dog then the dog chases the cat. If something sees the dog and the dog sees the cat then it sees the cat. If something needs the cat and the cat sees the dog then the dog needs the cat. If something is rough and nice then it needs the cat. If something sees the cat and it sees the dog then it chases the dog. If the cat sees the dog then the dog is kind. If something chases the dog then it is kind. If the dog needs the cat then the cat is green.
The cat is big.
@0: The cat chases the dog.[(triple1 OR ((((triple4 triple7) -> rule2) triple4) -> rule5))] The cat is nice.[(triple2)] The cat needs the dog.[(triple3)] The cat sees the dog.[(triple4)] The dog is kind.[(triple5 OR ((triple4) -> rule6))] The dog needs the cat.[(triple6)] The dog sees the cat.[(triple7)] @1: The cat is green.[(((triple6) -> rule8))] The cat is kind.[(((triple1) -> rule7) OR ((((((triple4 triple7) -> rule2) triple4) -> rule5)) -> rule7))] The cat sees the cat.[(((triple4 triple7) -> rule2))] The dog chases the cat.[(((triple4) -> rule1))]