The cat is green. The cat is round. The cat is young. If something is green and not cold then it is nice. If something is young then it is nice. All young, cold things are round. All cold things are not round. Nice, cold things are young. All round, cold things are not green. All young, cold things are green. If the cat is cold and the cat is green then the cat is not nice.
The cat is not round.
@0: The cat is green.[(triple1)] The cat is round.[(triple2)] The cat is young.[(triple3)] @1: The cat is nice.[(((triple3) -> rule2))]