The cat is big. The cat is blue. The cat is green. The cat is kind. The cat is young. Green things are young. All kind, big things are blue. Green things are young. All kind, blue things are big. If something is blue and kind then it is big. If something is blue then it is big.
The cat is blue.
@0: The cat is big.[(triple1 OR ((triple2) -> rule6) OR ((triple2 triple4) -> rule5) OR ((triple4 triple2) -> rule4))] The cat is blue.[(triple2 OR ((triple4 triple1) -> rule2))] The cat is green.[(triple3)] The cat is kind.[(triple4)] The cat is young.[(triple5 OR ((triple3) -> rule1) OR ((triple3) -> rule3))]