Dave is cold. Dave is quiet. Dave is round. Dave is smart. Gary is nice. Gary is quiet. Gary is red. Gary is round. Gary is smart. Gary is white. All cold, red things are quiet. White, smart things are red. White things are smart. If Gary is smart and Gary is red then Gary is white. All quiet things are white. White things are red. If Dave is smart and Dave is red then Dave is nice. If Dave is nice and Dave is cold then Dave is quiet.
Dave is nice.
@0: Dave is cold.[(triple1)] Dave is quiet.[(triple2)] Dave is round.[(triple3)] Dave is smart.[(triple4 OR ((((triple2) -> rule5)) -> rule3))] Gary is nice.[(triple5)] Gary is quiet.[(triple6)] Gary is red.[(triple7 OR ((triple10) -> rule6) OR ((triple10 triple9) -> rule2) OR ((((triple6) -> rule5)) -> rule6) OR ((triple10 ((triple10) -> rule3)) -> rule2) OR ((((triple6) -> rule5) triple9) -> rule2) OR ((((triple6) -> rule5) ((triple10) -> rule3)) -> rule2) OR ((triple10 ((((triple6) -> rule5)) -> rule3)) -> rule2) OR ((((triple6) -> rule5) ((((triple6) -> rule5)) -> rule3)) -> rule2))] Gary is round.[(triple8)] Gary is smart.[(triple9 OR ((triple10) -> rule3) OR ((((triple6) -> rule5)) -> rule3))] Gary is white.[(triple10 OR ((triple6) -> rule5) OR ((triple9 triple7) -> rule4))] @1: Dave is white.[(((triple2) -> rule5))] @2: Dave is red.[(((((triple2) -> rule5)) -> rule6) OR ((((triple2) -> rule5) triple4) -> rule2) OR ((((triple2) -> rule5) ((((triple2) -> rule5)) -> rule3)) -> rule2))] @3: Dave is nice.[(((triple4 ((((triple2) -> rule5)) -> rule6)) -> rule7) OR ((triple4 ((((triple2) -> rule5) triple4) -> rule2)) -> rule7) OR ((((((triple2) -> rule5)) -> rule3) ((((triple2) -> rule5)) -> rule6)) -> rule7) OR ((((((triple2) -> rule5)) -> rule3) ((((triple2) -> rule5) triple4) -> rule2)) -> rule7) OR ((triple4 ((((triple2) -> rule5) ((((triple2) -> rule5)) -> rule3)) -> rule2)) -> rule7) OR ((((((triple2) -> rule5)) -> rule3) ((((triple2) -> rule5) ((((triple2) -> rule5)) -> rule3)) -> rule2)) -> rule7))]