The cat is kind. The cat is young. The dog chases the cat. The dog is red. The dog is young. The dog needs the cat. The dog sees the cat. Kind people are nice. If the cat sees the dog and the cat is nice then the dog needs the cat. If someone needs the cat and they are red then the cat is nice. If someone sees the dog and they do not need the dog then the dog does not chase the cat. If someone chases the dog and they chase the cat then the dog is cold. If someone needs the cat and they see the dog then they see the cat.
The dog is young.
@0: The cat is kind.[(triple1)] The cat is young.[(triple2)] The dog chases the cat.[(triple3)] The dog is red.[(triple4)] The dog is young.[(triple5)] The dog needs the cat.[(triple6)] The dog sees the cat.[(triple7)] @1: The cat is nice.[(((triple1) -> rule1) OR ((triple6 triple4) -> rule3))]