Dave is green. Dave is quiet. Dave is smart. Fiona is cold. Fiona is nice. Gary is cold. Gary is green. Gary is quiet. Gary is round. Gary is white. If Dave is nice then Dave is quiet. All smart things are green. All green things are smart. Round things are green. Nice, round things are white. All green, round things are quiet. If something is cold and nice then it is green. Round, white things are quiet.
Dave is white.
@0: Dave is green.[(triple1 OR ((triple3) -> rule2))] Dave is quiet.[(triple2)] Dave is smart.[(triple3 OR ((triple1) -> rule3))] Fiona is cold.[(triple4)] Fiona is nice.[(triple5)] Gary is cold.[(triple6)] Gary is green.[(triple7 OR ((triple9) -> rule4))] Gary is quiet.[(triple8 OR ((triple7 triple9) -> rule6) OR ((triple9 triple10) -> rule8) OR ((((triple9) -> rule4) triple9) -> rule6))] Gary is round.[(triple9)] Gary is white.[(triple10)] @1: Fiona is green.[(((triple4 triple5) -> rule7))] Gary is smart.[(((triple7) -> rule3) OR ((((triple9) -> rule4)) -> rule3))] @2: Fiona is smart.[(((((triple4 triple5) -> rule7)) -> rule3))]