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