The cat is blue. The cat is green. The cat is nice. The cat is rough. The cat is round. If something is rough and nice then it is blue. If the cat is blue and the cat is rough then the cat is round. If something is rough and round then it is nice.
The cat is nice.
@0: The cat is blue.[(triple1 OR ((triple4 triple3) -> rule1) OR ((triple4 ((triple4 triple5) -> rule3)) -> rule1))] The cat is green.[(triple2)] The cat is nice.[(triple3 OR ((triple4 triple5) -> rule3) OR ((triple4 ((triple1 triple4) -> rule2)) -> rule3))] The cat is rough.[(triple4)] The cat is round.[(triple5 OR ((triple1 triple4) -> rule2) OR ((((triple4 triple3) -> rule1) triple4) -> rule2))]