The cat is blue. The cat is not nice. The cat is young. All blue things are rough. If something is red then it is nice. If something is rough and not young then it is nice. All nice things are not red. If something is blue and young then it is not red. All young things are blue. All rough, nice things are blue. If the cat is red then the cat is not nice.
The cat is not young.
@0: The cat is blue.[(triple1 OR ((triple3) -> rule6))] The cat is not nice.[(triple2)] The cat is young.[(triple3)] @1: The cat is not red.[(((triple1 triple3) -> rule5) OR ((((triple3) -> rule6) triple3) -> rule5))] The cat is rough.[(((triple1) -> rule1) OR ((((triple3) -> rule6)) -> rule1))]