The cat is round. If the cat is round and the cat is young then the cat is blue. If something is red then it is big. If the cat is round and the cat is red then the cat is blue. If something is blue then it is young. If something is young then it is big. All red things are round. All young, round things are big. Round things are red.
The cat is round.
@0: The cat is round.[(triple1)] @1: The cat is red.[(((triple1) -> rule8))] @2: The cat is big.[(((((triple1) -> rule8)) -> rule2) OR ((((((triple1 ((triple1) -> rule8)) -> rule3)) -> rule4)) -> rule5) OR ((((((triple1 ((triple1) -> rule8)) -> rule3)) -> rule4) triple1) -> rule7))] The cat is blue.[(((triple1 ((triple1) -> rule8)) -> rule3))] @3: The cat is young.[(((((triple1 ((triple1) -> rule8)) -> rule3)) -> rule4))]