Dave is blue. Dave is cold. Dave is furry. Dave is green. Dave is nice. Dave is smart. Dave is white. Erin is blue. Erin is cold. Erin is smart. Erin is white. Harry is cold. Harry is furry. Harry is green. Harry is smart. Harry is white. If Dave is smart and Dave is blue then Dave is cold. If someone is furry and white then they are green. Smart people are furry. All green people are nice. If Dave is blue then Dave is furry. If Dave is blue then Dave is white. If Harry is smart and Harry is nice then Harry is furry. If Harry is blue then Harry is green.
Erin is green.
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2 OR ((triple6 triple1) -> rule1))] Dave is furry.[(triple3 OR ((triple1) -> rule5) OR ((triple6) -> rule3))] Dave is green.[(triple4 OR ((triple3 triple7) -> rule2) OR ((triple3 ((triple1) -> rule6)) -> rule2) OR ((((triple1) -> rule5) triple7) -> rule2) OR ((((triple6) -> rule3) triple7) -> rule2) OR ((((triple1) -> rule5) ((triple1) -> rule6)) -> rule2) OR ((((triple6) -> rule3) ((triple1) -> rule6)) -> rule2))] Dave is nice.[(triple5 OR ((triple4) -> rule4) OR ((((triple3 triple7) -> rule2)) -> rule4) OR ((((triple3 ((triple1) -> rule6)) -> rule2)) -> rule4) OR ((((((triple1) -> rule5) triple7) -> rule2)) -> rule4) OR ((((((triple6) -> rule3) triple7) -> rule2)) -> rule4) OR ((((((triple1) -> rule5) ((triple1) -> rule6)) -> rule2)) -> rule4) OR ((((((triple6) -> rule3) ((triple1) -> rule6)) -> rule2)) -> rule4))] Dave is smart.[(triple6)] Dave is white.[(triple7 OR ((triple1) -> rule6))] Erin is blue.[(triple8)] Erin is cold.[(triple9)] Erin is smart.[(triple10)] Erin is white.[(triple11)] Harry is cold.[(triple12)] Harry is furry.[(triple13 OR ((triple15) -> rule3) OR ((triple15 ((triple14) -> rule4)) -> rule7))] Harry is green.[(triple14 OR ((triple13 triple16) -> rule2) OR ((((triple15) -> rule3) triple16) -> rule2))] Harry is smart.[(triple15)] Harry is white.[(triple16)] @1: Erin is furry.[(((triple10) -> rule3))] Harry is nice.[(((triple14) -> rule4) OR ((((triple13 triple16) -> rule2)) -> rule4) OR ((((((triple15) -> rule3) triple16) -> rule2)) -> rule4))] @2: Erin is green.[(((((triple10) -> rule3) triple11) -> rule2))] @3: Erin is nice.[(((((((triple10) -> rule3) triple11) -> rule2)) -> rule4))]