The cat is big. The cat is blue. The cat is kind. The cat is nice. The cat is red. If someone is nice and kind then they are big. All blue, red people are big. All red, kind people are big.
The cat is not nice.
@0: The cat is big.[(triple1 OR ((triple2 triple5) -> rule2) OR ((triple4 triple3) -> rule1) OR ((triple5 triple3) -> rule3))] The cat is blue.[(triple2)] The cat is kind.[(triple3)] The cat is nice.[(triple4)] The cat is red.[(triple5)]