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