Dave is blue. Dave is cold. Dave is green. Dave is quiet. Dave is rough. Dave is round. Dave is young. Harry is blue. Harry is cold. Harry is green. Harry is quiet. Harry is rough. Harry is round. Harry is young. If Harry is young then Harry is rough. Rough, cold people are round. If someone is round and quiet then they are blue.
Dave is quiet.
@0: Dave is blue.[(triple1 OR ((triple6 triple4) -> rule3) OR ((((triple5 triple2) -> rule2) triple4) -> rule3))] Dave is cold.[(triple2)] Dave is green.[(triple3)] Dave is quiet.[(triple4)] Dave is rough.[(triple5)] Dave is round.[(triple6 OR ((triple5 triple2) -> rule2))] Dave is young.[(triple7)] Harry is blue.[(triple8 OR ((triple13 triple11) -> rule3) OR ((((triple12 triple9) -> rule2) triple11) -> rule3) OR ((((((triple14) -> rule1) triple9) -> rule2) triple11) -> rule3))] Harry is cold.[(triple9)] Harry is green.[(triple10)] Harry is quiet.[(triple11)] Harry is rough.[(triple12 OR ((triple14) -> rule1))] Harry is round.[(triple13 OR ((triple12 triple9) -> rule2) OR ((((triple14) -> rule1) triple9) -> rule2))] Harry is young.[(triple14)]