Charlie is big. Charlie is blue. Charlie is cold. Charlie is green. Charlie is red. Charlie is round. Charlie is white. Dave is big. Dave is blue. Dave is red. Dave is round. Dave is white. Erin is big. Erin is blue. Erin is cold. Erin is round. If Charlie is blue then Charlie is big. All round things are red. All green, red things are big. All blue, red things are green. Green things are red. If something is white then it is green. All white, round things are big. If something is cold and white then it is red.
Dave is not cold.
@0: Charlie is big.[(triple1 OR ((triple2) -> rule1) OR ((triple4 triple5) -> rule3) OR ((triple7 triple6) -> rule7) OR ((triple4 ((triple4) -> rule5)) -> rule3) OR ((triple4 ((triple6) -> rule2)) -> rule3) OR ((triple4 ((triple3 triple7) -> rule8)) -> rule3) OR ((((triple7) -> rule6) triple5) -> rule3) OR ((((triple2 triple5) -> rule4) triple5) -> rule3) OR ((((triple7) -> rule6) ((triple4) -> rule5)) -> rule3) OR ((((triple7) -> rule6) ((triple6) -> rule2)) -> rule3) OR ((((triple7) -> rule6) ((triple3 triple7) -> rule8)) -> rule3) OR ((((triple2 triple5) -> rule4) ((triple4) -> rule5)) -> rule3) OR ((((triple2 triple5) -> rule4) ((triple6) -> rule2)) -> rule3) OR ((((triple2 triple5) -> rule4) ((triple3 triple7) -> rule8)) -> rule3) OR ((triple4 ((((triple7) -> rule6)) -> rule5)) -> rule3) OR ((((triple2 ((triple6) -> rule2)) -> rule4) triple5) -> rule3) OR ((((triple2 ((triple3 triple7) -> rule8)) -> rule4) triple5) -> rule3) OR ((((triple7) -> rule6) ((((triple7) -> rule6)) -> rule5)) -> rule3) OR ((((triple2 triple5) -> rule4) ((((triple7) -> rule6)) -> rule5)) -> rule3) OR ((((triple2 ((triple6) -> rule2)) -> rule4) ((triple4) -> rule5)) -> rule3) OR ((((triple2 ((triple6) -> rule2)) -> rule4) ((triple6) -> rule2)) -> rule3) OR ((((triple2 ((triple6) -> rule2)) -> rule4) ((triple3 triple7) -> rule8)) -> rule3) OR ((((triple2 ((triple3 triple7) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule3) OR ((((triple2 ((triple3 triple7) -> rule8)) -> rule4) ((triple6) -> rule2)) -> rule3) OR ((((triple2 ((triple3 triple7) -> rule8)) -> rule4) ((triple3 triple7) -> rule8)) -> rule3) OR ((((triple2 ((triple6) -> rule2)) -> rule4) ((((triple7) -> rule6)) -> rule5)) -> rule3) OR ((((triple2 ((triple3 triple7) -> rule8)) -> rule4) ((((triple7) -> rule6)) -> rule5)) -> rule3))] Charlie is blue.[(triple2)] Charlie is cold.[(triple3)] Charlie is green.[(triple4 OR ((triple7) -> rule6) OR ((triple2 triple5) -> rule4) OR ((triple2 ((triple6) -> rule2)) -> rule4) OR ((triple2 ((triple3 triple7) -> rule8)) -> rule4))] Charlie is red.[(triple5 OR ((triple4) -> rule5) OR ((triple6) -> rule2) OR ((triple3 triple7) -> rule8) OR ((((triple7) -> rule6)) -> rule5))] Charlie is round.[(triple6)] Charlie is white.[(triple7)] Dave is big.[(triple8 OR ((triple12 triple11) -> rule7) OR ((((triple12) -> rule6) triple10) -> rule3) OR ((((triple9 triple10) -> rule4) triple10) -> rule3) OR ((((triple12) -> rule6) ((triple11) -> rule2)) -> rule3) OR ((((triple9 triple10) -> rule4) ((triple11) -> rule2)) -> rule3) OR ((((triple9 ((triple11) -> rule2)) -> rule4) triple10) -> rule3) OR ((((triple12) -> rule6) ((((triple12) -> rule6)) -> rule5)) -> rule3) OR ((((triple9 triple10) -> rule4) ((((triple12) -> rule6)) -> rule5)) -> rule3) OR ((((triple9 ((triple11) -> rule2)) -> rule4) ((triple11) -> rule2)) -> rule3) OR ((((triple9 ((triple11) -> rule2)) -> rule4) ((((triple12) -> rule6)) -> rule5)) -> rule3))] Dave is blue.[(triple9)] Dave is red.[(triple10 OR ((triple11) -> rule2) OR ((((triple12) -> rule6)) -> rule5))] Dave is round.[(triple11)] Dave is white.[(triple12)] Erin is big.[(triple13 OR ((((triple14 ((triple16) -> rule2)) -> rule4) ((triple16) -> rule2)) -> rule3))] Erin is blue.[(triple14)] Erin is cold.[(triple15)] Erin is round.[(triple16)] @1: Dave is green.[(((triple12) -> rule6) OR ((triple9 triple10) -> rule4) OR ((triple9 ((triple11) -> rule2)) -> rule4))] Erin is red.[(((triple16) -> rule2))] @2: Erin is green.[(((triple14 ((triple16) -> rule2)) -> rule4))]