The cat is not blue. The cat is green. The cat is nice. The cat is red. The cat is round. All red things are round. If something is round and not nice then it is blue. If something is round and nice then it is red.
The cat does not chase the cat.
@0: The cat is green.[(triple2)] The cat is nice.[(triple3)] The cat is not blue.[(triple1)] The cat is red.[(triple4 OR ((triple5 triple3) -> rule3))] The cat is round.[(triple5 OR ((triple4) -> rule1))]