Anne is quiet. Charlie is rough. Dave is red. Gary is not red. If Anne is white and Anne is big then Anne is not blue. If someone is blue and green then they are white. If someone is green and not rough then they are white. All quiet, red people are white. Rough people are green. White people are red. If someone is green then they are blue. All white, green people are big.
Dave is rough.
@0: Anne is quiet.[(triple1)] Charlie is rough.[(triple2)] Dave is red.[(triple3)] Gary is not red.[(triple4)] @1: Charlie is green.[(((triple2) -> rule5))] @2: Charlie is blue.[(((((triple2) -> rule5)) -> rule7))] @3: Charlie is white.[(((((((triple2) -> rule5)) -> rule7) ((triple2) -> rule5)) -> rule2))] @4: Charlie is big.[(((((((((triple2) -> rule5)) -> rule7) ((triple2) -> rule5)) -> rule2) ((triple2) -> rule5)) -> rule8))] Charlie is red.[(((((((((triple2) -> rule5)) -> rule7) ((triple2) -> rule5)) -> rule2)) -> rule6))]