Charlie is quiet. Charlie is red. Charlie is young. Dave is green. Dave is quiet. Dave is rough. Dave is round. Harry is cold. Harry is green. Harry is red. Harry is rough. Harry is young. All green, round people are young. All young people are quiet. Rough, quiet people are red.
Dave is cold.
@0: Charlie is quiet.[(triple1 OR ((triple3) -> rule2))] Charlie is red.[(triple2)] Charlie is young.[(triple3)] Dave is green.[(triple4)] Dave is quiet.[(triple5 OR ((((triple4 triple7) -> rule1)) -> rule2))] Dave is rough.[(triple6)] Dave is round.[(triple7)] Harry is cold.[(triple8)] Harry is green.[(triple9)] Harry is red.[(triple10 OR ((triple11 ((triple12) -> rule2)) -> rule3))] Harry is rough.[(triple11)] Harry is young.[(triple12)] @1: Dave is red.[(((triple6 triple5) -> rule3) OR ((triple6 ((((triple4 triple7) -> rule1)) -> rule2)) -> rule3))] Dave is young.[(((triple4 triple7) -> rule1))] Harry is quiet.[(((triple12) -> rule2))]