The cat is blue. The cat is kind. The cat is nice. The cat is red. The cat is round. If the cat is red and the cat is blue then the cat is kind. Kind things are red. If the cat is kind then the cat is round. Round things are nice. If something is round and not kind then it is nice. If the cat is kind and the cat is not round then the cat is not nice.
The cat does not eat the cat.
@0: The cat is blue.[(triple1)] The cat is kind.[(triple2 OR ((triple4 triple1) -> rule1))] The cat is nice.[(triple3 OR ((triple5) -> rule4) OR ((((triple2) -> rule3)) -> rule4) OR ((((((triple4 triple1) -> rule1)) -> rule3)) -> rule4))] The cat is red.[(triple4 OR ((triple2) -> rule2))] The cat is round.[(triple5 OR ((triple2) -> rule3) OR ((((triple4 triple1) -> rule1)) -> rule3))]