Anne is green. Anne is kind. Anne is quiet. Charlie is big. Charlie is kind. Charlie is red. Dave is big. Dave is green. Dave is kind. Dave is quiet. Dave is red. Dave is rough. Dave is white. Gary is big. Gary is quiet. Gary is white. Kind people are rough. If Gary is white then Gary is red. Quiet, green people are white. Rough, white people are quiet. Red, quiet people are rough. If someone is white then they are green. If Charlie is green and Charlie is quiet then Charlie is kind. Kind people are white.
Anne is red.
@0: Anne is green.[(triple1 OR ((((triple2) -> rule8)) -> rule6))] Anne is kind.[(triple2)] Anne is quiet.[(triple3 OR ((((triple2) -> rule1) ((triple2) -> rule8)) -> rule4))] Charlie is big.[(triple4)] Charlie is kind.[(triple5)] Charlie is red.[(triple6)] Dave is big.[(triple7)] Dave is green.[(triple8 OR ((triple13) -> rule6) OR ((((triple9) -> rule8)) -> rule6))] Dave is kind.[(triple9)] Dave is quiet.[(triple10 OR ((triple12 triple13) -> rule4) OR ((triple12 ((triple9) -> rule8)) -> rule4) OR ((((triple9) -> rule1) triple13) -> rule4) OR ((((triple9) -> rule1) ((triple9) -> rule8)) -> rule4))] Dave is red.[(triple11)] Dave is rough.[(triple12 OR ((triple9) -> rule1) OR ((triple11 triple10) -> rule5))] Dave is white.[(triple13 OR ((triple9) -> rule8) OR ((triple10 triple8) -> rule3))] Gary is big.[(triple14)] Gary is quiet.[(triple15)] Gary is white.[(triple16)] @1: Anne is rough.[(((triple2) -> rule1))] Anne is white.[(((triple2) -> rule8) OR ((triple3 triple1) -> rule3))] Charlie is rough.[(((triple5) -> rule1))] Charlie is white.[(((triple5) -> rule8))] Gary is green.[(((triple16) -> rule6))] Gary is red.[(((triple16) -> rule2))] @2: Charlie is green.[(((((triple5) -> rule8)) -> rule6))] Charlie is quiet.[(((((triple5) -> rule1) ((triple5) -> rule8)) -> rule4))] Gary is rough.[(((((triple16) -> rule2) triple15) -> rule5))]