The cat is cold. The cat is rough. The cat is young. If something is big and cold then it is blue. All young things are big. If the cat is rough and the cat is blue then the cat is cold. If something is rough then it is big. If something is cold then it is blue. All young things are big.
The cat is cold.
@0: The cat is cold.[(triple1)] The cat is rough.[(triple2)] The cat is young.[(triple3)] @1: The cat is big.[(((triple2) -> rule4) OR ((triple3) -> rule2) OR ((triple3) -> rule6))] The cat is blue.[(((triple1) -> rule5) OR ((((triple2) -> rule4) triple1) -> rule1) OR ((((triple3) -> rule2) triple1) -> rule1) OR ((((triple3) -> rule6) triple1) -> rule1))]