The cat is red. If the cat is rough then the cat is not kind. If the cat is red then the cat is round. If the cat is big then the cat is red. All rough, red things are not big. Rough things are round. If something is red and big then it is not round. Big, kind things are rough. Round things are rough.
The cat is big.
@0: The cat is red.[(triple1)] @1: The cat is round.[(((triple1) -> rule2))] @2: The cat is rough.[(((((triple1) -> rule2)) -> rule8))] @3: The cat is not big.[(((((((triple1) -> rule2)) -> rule8) triple1) -> rule4))] The cat is not kind.[(((((((triple1) -> rule2)) -> rule8)) -> rule1))]