Charlie is big. Charlie is blue. Charlie is cold. Charlie is nice. Charlie is round. Dave is big. Dave is blue. Dave is cold. Dave is round. Fiona is not big. Fiona is not blue. Fiona is nice. Gary is big. Gary is green. Gary is not round. If something is cold then it is round. If something is red then it is nice. Red, round things are cold. Big things are green. If Dave is green and Dave is cold then Dave is blue. If something is nice and not round then it is not big.
Fiona is not green.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is cold.[(triple3)] Charlie is nice.[(triple4)] Charlie is round.[(triple5 OR ((triple3) -> rule1))] Dave is big.[(triple6)] Dave is blue.[(triple7 OR ((((triple6) -> rule4) triple8) -> rule5))] Dave is cold.[(triple8)] Dave is round.[(triple9 OR ((triple8) -> rule1))] Fiona is nice.[(triple12)] Fiona is not big.[(triple10)] Fiona is not blue.[(triple11)] Gary is big.[(triple13)] Gary is green.[(triple14 OR ((triple13) -> rule4))] Gary is not round.[(triple15)] @1: Charlie is green.[(((triple1) -> rule4))] Dave is green.[(((triple6) -> rule4))]