The cat is young. All nice things are young. Rough things are nice. If the cat is nice then the cat is red. Young things are rough. If something is rough and not young then it is not red. If something is nice then it is red. All rough, young things are not round. If something is young and not red then it is not round.
The cat is not round.
@0: The cat is young.[(triple1)] @1: The cat is rough.[(((triple1) -> rule4))] @2: The cat is nice.[(((((triple1) -> rule4)) -> rule2))] The cat is not round.[(((((triple1) -> rule4) triple1) -> rule7))] @3: The cat is red.[(((((((triple1) -> rule4)) -> rule2)) -> rule3) OR ((((((triple1) -> rule4)) -> rule2)) -> rule6))]