Anne is big. Anne is round. Anne is white. Dave is big. Dave is kind. Dave is quiet. Dave is red. Dave is round. Dave is white. Gary is big. Gary is kind. Gary is not quiet. Gary is red. Gary is round. Gary is not white. Big people are red. If someone is green then they are red. Round, kind people are big. If someone is big then they are green. All green people are kind. If someone is kind and white then they are quiet. If Gary is quiet and Gary is big then Gary is red. If someone is red and not big then they are white.
Anne is kind.
@0: Anne is big.[(triple1)] Anne is round.[(triple2)] Anne is white.[(triple3)] Dave is big.[(triple4 OR ((triple8 triple5) -> rule3))] Dave is kind.[(triple5 OR ((((triple4) -> rule4)) -> rule5))] Dave is quiet.[(triple6 OR ((triple5 triple9) -> rule6) OR ((((((triple4) -> rule4)) -> rule5) triple9) -> rule6))] Dave is red.[(triple7 OR ((triple4) -> rule1) OR ((((triple4) -> rule4)) -> rule2) OR ((((triple8 triple5) -> rule3)) -> rule1) OR ((((((triple8 triple5) -> rule3)) -> rule4)) -> rule2))] Dave is round.[(triple8)] Dave is white.[(triple9)] Gary is big.[(triple10 OR ((triple14 triple11) -> rule3))] Gary is kind.[(triple11 OR ((((triple10) -> rule4)) -> rule5))] Gary is not quiet.[(triple12)] Gary is not white.[(triple15)] Gary is red.[(triple13 OR ((triple10) -> rule1) OR ((((triple10) -> rule4)) -> rule2) OR ((((triple14 triple11) -> rule3)) -> rule1) OR ((((((triple14 triple11) -> rule3)) -> rule4)) -> rule2))] Gary is round.[(triple14)] @1: Anne is green.[(((triple1) -> rule4))] Anne is red.[(((triple1) -> rule1) OR ((((triple1) -> rule4)) -> rule2))] Dave is green.[(((triple4) -> rule4) OR ((((triple8 triple5) -> rule3)) -> rule4))] Gary is green.[(((triple10) -> rule4) OR ((((triple14 triple11) -> rule3)) -> rule4))] @2: Anne is kind.[(((((triple1) -> rule4)) -> rule5))] @3: Anne is quiet.[(((((((triple1) -> rule4)) -> rule5) triple3) -> rule6))]