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