The cow is cold. All nice, cold things are big. If the cow is nice then the cow is blue. If something is rough then it is nice. All blue things are rough. Cold things are rough. All rough, nice things are cold.
The cow does not see the cow.
@0: The cow is cold.[(triple1)] @1: The cow is rough.[(((triple1) -> rule5))] @2: The cow is nice.[(((((triple1) -> rule5)) -> rule3))] @3: The cow is big.[(((((((triple1) -> rule5)) -> rule3) triple1) -> rule1))] The cow is blue.[(((((((triple1) -> rule5)) -> rule3)) -> rule2))]