The cat is blue. If someone is young then they are nice. If someone is big then they are nice. If the cat is nice and the cat is big then the cat is blue. If the cat is nice then the cat is big. If the cat is kind and the cat is blue then the cat is big. Big, nice people are blue. All young, kind people are blue. Blue people are big.
The cat is not blue.
@0: The cat is blue.[(triple1)] @1: The cat is big.[(((triple1) -> rule8))] @2: The cat is nice.[(((((triple1) -> rule8)) -> rule2))]