Anne is white. Charlie is big. Charlie is furry. Charlie is quiet. Charlie is smart. Dave is big. Dave is smart. Gary is cold. Gary is round. Gary is white. If Gary is smart then Gary is furry. All cold people are quiet. If someone is quiet then they are smart. If Charlie is big and Charlie is white then Charlie is cold. If someone is smart and big then they are round. If someone is white and big then they are cold. If someone is round then they are cold. If Dave is furry and Dave is cold then Dave is quiet.
Dave is quiet.
@0: Anne is white.[(triple1)] Charlie is big.[(triple2)] Charlie is furry.[(triple3)] Charlie is quiet.[(triple4 OR ((((((triple5 triple2) -> rule5)) -> rule7)) -> rule2))] Charlie is smart.[(triple5 OR ((triple4) -> rule3))] Dave is big.[(triple6)] Dave is smart.[(triple7)] Gary is cold.[(triple8 OR ((triple9) -> rule7))] Gary is round.[(triple9)] Gary is white.[(triple10)] @1: Charlie is round.[(((triple5 triple2) -> rule5) OR ((((triple4) -> rule3) triple2) -> rule5))] Dave is round.[(((triple7 triple6) -> rule5))] Gary is quiet.[(((triple8) -> rule2) OR ((((triple9) -> rule7)) -> rule2))] @2: Charlie is cold.[(((((triple5 triple2) -> rule5)) -> rule7) OR ((((((triple4) -> rule3) triple2) -> rule5)) -> rule7))] Dave is cold.[(((((triple7 triple6) -> rule5)) -> rule7))] Gary is smart.[(((((triple8) -> rule2)) -> rule3) OR ((((((triple9) -> rule7)) -> rule2)) -> rule3))] @3: Dave is quiet.[(((((((triple7 triple6) -> rule5)) -> rule7)) -> rule2))] Gary is furry.[(((((((triple8) -> rule2)) -> rule3)) -> rule1) OR ((((((((triple9) -> rule7)) -> rule2)) -> rule3)) -> rule1))]