Charlie is not rough. Dave is furry. Dave is green. Dave is nice. Dave is not quiet. Dave is rough. Dave is not white. Fiona is not furry. Fiona is nice. Fiona is quiet. Fiona is rough. Gary is nice. Nice things are rough. If Charlie is green and Charlie is nice then Charlie is rough. If something is nice and furry then it is green. All rough things are green. All green things are blue. If something is white then it is blue.
Charlie is green.
@0: Charlie is not rough.[(triple1)] Dave is furry.[(triple2)] Dave is green.[(triple3 OR ((triple6) -> rule4) OR ((triple4 triple2) -> rule3) OR ((((triple4) -> rule1)) -> rule4))] Dave is nice.[(triple4)] Dave is not quiet.[(triple5)] Dave is not white.[(triple7)] Dave is rough.[(triple6 OR ((triple4) -> rule1))] Fiona is nice.[(triple9)] Fiona is not furry.[(triple8)] Fiona is quiet.[(triple10)] Fiona is rough.[(triple11 OR ((triple9) -> rule1))] Gary is nice.[(triple12)] @1: Dave is blue.[(((triple3) -> rule5) OR ((((triple6) -> rule4)) -> rule5) OR ((((triple4 triple2) -> rule3)) -> rule5) OR ((((((triple4) -> rule1)) -> rule4)) -> rule5))] Fiona is green.[(((triple11) -> rule4) OR ((((triple9) -> rule1)) -> rule4))] Gary is rough.[(((triple12) -> rule1))] @2: Fiona is blue.[(((((triple11) -> rule4)) -> rule5) OR ((((((triple9) -> rule1)) -> rule4)) -> rule5))] Gary is green.[(((((triple12) -> rule1)) -> rule4))] @3: Gary is blue.[(((((((triple12) -> rule1)) -> rule4)) -> rule5))]