The cat is not big. The cat is blue. The cat is cold. The cat is green. The cat is round. Blue, round people are cold. If someone is big and not round then they are blue. Cold, green people are blue.
The cat is blue.
@0: The cat is blue.[(triple2 OR ((triple3 triple4) -> rule3))] The cat is cold.[(triple3 OR ((triple2 triple5) -> rule1))] The cat is green.[(triple4)] The cat is not big.[(triple1)] The cat is round.[(triple5)]