The cat is big. The cat is blue. The cat is cold. The cat is green. The cat is kind. Kind, blue people are big. All big people are kind. Kind people are big.
The cat is not big.
@0: The cat is big.[(triple1 OR ((triple5) -> rule3) OR ((triple5 triple2) -> rule1))] The cat is blue.[(triple2)] The cat is cold.[(triple3)] The cat is green.[(triple4)] The cat is kind.[(triple5 OR ((triple1) -> rule2))]