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