Dave is big. Dave is cold. Dave is green. Dave is nice. Dave is quiet. Dave is round. Dave is young. Fiona is big. Fiona is cold. Fiona is green. Fiona is quiet. Fiona is round. Fiona is young. Harry is quiet. Harry is young. All nice, green things are round. If Dave is nice and Dave is cold then Dave is green. Quiet things are green.
Harry is big.
@0: Dave is big.[(triple1)] Dave is cold.[(triple2)] Dave is green.[(triple3 OR ((triple5) -> rule3) OR ((triple4 triple2) -> rule2))] Dave is nice.[(triple4)] Dave is quiet.[(triple5)] Dave is round.[(triple6 OR ((triple4 triple3) -> rule1) OR ((triple4 ((triple5) -> rule3)) -> rule1) OR ((triple4 ((triple4 triple2) -> rule2)) -> rule1))] Dave is young.[(triple7)] Fiona is big.[(triple8)] Fiona is cold.[(triple9)] Fiona is green.[(triple10 OR ((triple11) -> rule3))] Fiona is quiet.[(triple11)] Fiona is round.[(triple12)] Fiona is young.[(triple13)] Harry is quiet.[(triple14)] Harry is young.[(triple15)] @1: Harry is green.[(((triple14) -> rule3))]