Dave is quiet. Dave is rough. Erin is big. Erin is cold. Erin is furry. Erin is rough. Gary is big. Gary is cold. Gary is rough. Gary is white. All kind things are furry. Cold, kind things are white. If something is white and quiet then it is big. If something is big then it is white. All furry, cold things are quiet. Quiet, rough things are cold. All rough things are kind. Furry things are white.
Dave is not quiet.
@0: Dave is quiet.[(triple1)] Dave is rough.[(triple2)] Erin is big.[(triple3 OR ((((triple5) -> rule8) ((triple5 triple4) -> rule5)) -> rule3) OR ((((triple4 ((triple6) -> rule7)) -> rule2) ((triple5 triple4) -> rule5)) -> rule3) OR ((((triple5) -> rule8) ((((((triple6) -> rule7)) -> rule1) triple4) -> rule5)) -> rule3) OR ((((((((triple6) -> rule7)) -> rule1)) -> rule8) ((triple5 triple4) -> rule5)) -> rule3) OR ((((triple4 ((triple6) -> rule7)) -> rule2) ((((((triple6) -> rule7)) -> rule1) triple4) -> rule5)) -> rule3) OR ((((((((triple6) -> rule7)) -> rule1)) -> rule8) ((((((triple6) -> rule7)) -> rule1) triple4) -> rule5)) -> rule3))] Erin is cold.[(triple4)] Erin is furry.[(triple5 OR ((((triple6) -> rule7)) -> rule1))] Erin is rough.[(triple6)] Gary is big.[(triple7 OR ((triple10 ((((((triple9) -> rule7)) -> rule1) triple8) -> rule5)) -> rule3) OR ((((triple8 ((triple9) -> rule7)) -> rule2) ((((((triple9) -> rule7)) -> rule1) triple8) -> rule5)) -> rule3) OR ((((((((triple9) -> rule7)) -> rule1)) -> rule8) ((((((triple9) -> rule7)) -> rule1) triple8) -> rule5)) -> rule3))] Gary is cold.[(triple8)] Gary is rough.[(triple9)] Gary is white.[(triple10 OR ((triple7) -> rule4) OR ((triple8 ((triple9) -> rule7)) -> rule2) OR ((((((triple9) -> rule7)) -> rule1)) -> rule8))] @1: Dave is cold.[(((triple1 triple2) -> rule6))] Dave is kind.[(((triple2) -> rule7))] Erin is kind.[(((triple6) -> rule7))] Erin is quiet.[(((triple5 triple4) -> rule5) OR ((((((triple6) -> rule7)) -> rule1) triple4) -> rule5))] Erin is white.[(((triple3) -> rule4) OR ((triple5) -> rule8) OR ((triple4 ((triple6) -> rule7)) -> rule2) OR ((((((triple6) -> rule7)) -> rule1)) -> rule8))] Gary is kind.[(((triple9) -> rule7))] @2: Dave is furry.[(((((triple2) -> rule7)) -> rule1))] Dave is white.[(((((triple1 triple2) -> rule6) ((triple2) -> rule7)) -> rule2) OR ((((((triple2) -> rule7)) -> rule1)) -> rule8))] Gary is furry.[(((((triple9) -> rule7)) -> rule1))] @3: Dave is big.[(((((((triple1 triple2) -> rule6) ((triple2) -> rule7)) -> rule2) triple1) -> rule3) OR ((((((((triple2) -> rule7)) -> rule1)) -> rule8) triple1) -> rule3))] Gary is quiet.[(((((((triple9) -> rule7)) -> rule1) triple8) -> rule5))]