The cat chases the dog. The cat eats the dog. The cat is big. The cat is blue. The cat is nice. The cat is red. The cat is rough. The cat needs the dog. The dog chases the cat. The dog does not eat the cat. The dog is big. The dog is blue. The dog is nice. The dog is red. The dog is rough. The dog needs the cat. If something is rough then it chases the cat. If something eats the cat and it does not chase the dog then the cat is big. Blue, big things are rough. If something chases the dog and it needs the cat then it does not eat the dog. If something eats the cat then the cat does not eat the dog. If something is rough and it chases the dog then the dog needs the cat. If something is big then it is red. If something chases the dog and it does not eat the dog then the dog is not nice.
The dog does not need the dog.
@0: The cat chases the dog.[(triple1)] The cat eats the dog.[(triple2)] The cat is big.[(triple3)] The cat is blue.[(triple4)] The cat is nice.[(triple5)] The cat is red.[(triple6 OR ((triple3) -> rule7))] The cat is rough.[(triple7 OR ((triple4 triple3) -> rule3))] The cat needs the dog.[(triple8)] The dog chases the cat.[(triple9 OR ((triple15) -> rule1) OR ((((triple12 triple11) -> rule3)) -> rule1))] The dog does not eat the cat.[(triple10)] The dog is big.[(triple11)] The dog is blue.[(triple12)] The dog is nice.[(triple13)] The dog is red.[(triple14 OR ((triple11) -> rule7))] The dog is rough.[(triple15 OR ((triple12 triple11) -> rule3))] The dog needs the cat.[(triple16 OR ((triple7 triple1) -> rule6) OR ((((triple4 triple3) -> rule3) triple1) -> rule6))] @1: The cat chases the cat.[(((triple7) -> rule1) OR ((((triple4 triple3) -> rule3)) -> rule1))]