Charlie is cold. Charlie is green. Charlie is quiet. Charlie is red. Charlie is rough. Dave is big. Dave is cold. Dave is quiet. Dave is red. Dave is young. Cold things are young. If something is young and big then it is quiet. If something is red and cold then it is young.
Dave is young.
@0: Charlie is cold.[(triple1)] Charlie is green.[(triple2)] Charlie is quiet.[(triple3)] Charlie is red.[(triple4)] Charlie is rough.[(triple5)] Dave is big.[(triple6)] Dave is cold.[(triple7)] Dave is quiet.[(triple8 OR ((triple10 triple6) -> rule2) OR ((((triple7) -> rule1) triple6) -> rule2) OR ((((triple9 triple7) -> rule3) triple6) -> rule2))] Dave is red.[(triple9)] Dave is young.[(triple10 OR ((triple7) -> rule1) OR ((triple9 triple7) -> rule3))] @1: Charlie is young.[(((triple1) -> rule1) OR ((triple4 triple1) -> rule3))]