The tiger is round. Round people are nice. If someone is round and blue then they are nice. All blue people are nice. All round people are nice. If someone is round and nice then they are blue. If someone is nice and not kind then they are not round. All round, kind people are not big. If someone is kind and not blue then they are big.
The tiger is not round.
@0: The tiger is round.[(triple1)] @1: The tiger is nice.[(((triple1) -> rule1) OR ((triple1) -> rule4))] @2: The tiger is blue.[(((triple1 ((triple1) -> rule1)) -> rule5) OR ((triple1 ((triple1) -> rule4)) -> rule5))]