Charlie is quiet. Dave is kind. Dave is young. Gary is big. Gary is furry. Gary is green. Gary is young. Furry things are green. If Charlie is kind then Charlie is white. White, furry things are green. Green things are kind. If Gary is kind and Gary is furry then Gary is quiet. All big things are white. If something is quiet then it is big. If something is kind then it is white.
Charlie is not quiet.
@0: Charlie is quiet.[(triple1)] Dave is kind.[(triple2)] Dave is young.[(triple3)] Gary is big.[(triple4 OR ((((((triple6) -> rule4) triple5) -> rule5)) -> rule7) OR ((((((((triple5) -> rule1)) -> rule4) triple5) -> rule5)) -> rule7))] Gary is furry.[(triple5)] Gary is green.[(triple6 OR ((triple5) -> rule1) OR ((((triple4) -> rule6) triple5) -> rule3))] Gary is young.[(triple7)] @1: Charlie is big.[(((triple1) -> rule7))] Dave is white.[(((triple2) -> rule8))] Gary is kind.[(((triple6) -> rule4) OR ((((triple5) -> rule1)) -> rule4) OR ((((((triple4) -> rule6) triple5) -> rule3)) -> rule4))] Gary is white.[(((triple4) -> rule6) OR ((((triple6) -> rule4)) -> rule8) OR ((((((triple5) -> rule1)) -> rule4)) -> rule8) OR ((((((((triple6) -> rule4) triple5) -> rule5)) -> rule7)) -> rule6) OR ((((((((((triple5) -> rule1)) -> rule4) triple5) -> rule5)) -> rule7)) -> rule6))] @2: Charlie is white.[(((((triple1) -> rule7)) -> rule6))] Gary is quiet.[(((((triple6) -> rule4) triple5) -> rule5) OR ((((((triple5) -> rule1)) -> rule4) triple5) -> rule5) OR ((((((((triple4) -> rule6) triple5) -> rule3)) -> rule4) triple5) -> rule5))]