The cat is big. The cat is blue. The cat is green. The cat is kind. The cat is rough. Blue things are big. All rough things are big. If something is green and not rough then it is blue.
The cat is big.
@0: The cat is big.[(triple1 OR ((triple2) -> rule1) OR ((triple5) -> rule2))] The cat is blue.[(triple2)] The cat is green.[(triple3)] The cat is kind.[(triple4)] The cat is rough.[(triple5)]