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