The tiger is big. The tiger is not blue. The tiger is kind. The tiger is nice. The tiger is round. Nice, kind things are big. If something is kind then it is big. If the tiger is kind then the tiger is nice. If the tiger is not big then the tiger is blue. If something is kind then it is round. All kind things are round. If something is big and not nice then it is round. If something is big and not nice then it is not round.
The tiger is not blue.
@0: The tiger is big.[(triple1 OR ((triple3) -> rule2) OR ((triple4 triple3) -> rule1) OR ((((triple3) -> rule3) triple3) -> rule1))] The tiger is kind.[(triple3)] The tiger is nice.[(triple4 OR ((triple3) -> rule3))] The tiger is not blue.[(triple2)] The tiger is round.[(triple5 OR ((triple3) -> rule5) OR ((triple3) -> rule6))]