Dave is blue. Dave is cold. Dave is furry. Dave is green. Dave is nice. Dave is red. Dave is round. Erin is blue. Erin is cold. Erin is furry. Erin is green. Erin is nice. Erin is red. Erin is round. If Erin is cold then Erin is blue. All blue, red people are round. All round people are green. If Erin is red and Erin is furry then Erin is nice. Round people are green. If someone is cold and red then they are furry. Furry, green people are blue. If Erin is round then Erin is cold.
Dave is not round.
@0: Dave is blue.[(triple1 OR ((triple3 triple4) -> rule7) OR ((triple3 ((triple7) -> rule3)) -> rule7) OR ((triple3 ((triple7) -> rule5)) -> rule7) OR ((((triple2 triple6) -> rule6) triple4) -> rule7) OR ((((triple2 triple6) -> rule6) ((triple7) -> rule3)) -> rule7) OR ((((triple2 triple6) -> rule6) ((triple7) -> rule5)) -> rule7))] Dave is cold.[(triple2)] Dave is furry.[(triple3 OR ((triple2 triple6) -> rule6))] Dave is green.[(triple4 OR ((triple7) -> rule3) OR ((triple7) -> rule5) OR ((((triple1 triple6) -> rule2)) -> rule3) OR ((((triple1 triple6) -> rule2)) -> rule5))] Dave is nice.[(triple5)] Dave is red.[(triple6)] Dave is round.[(triple7 OR ((triple1 triple6) -> rule2) OR ((((triple3 triple4) -> rule7) triple6) -> rule2) OR ((((((triple2 triple6) -> rule6) triple4) -> rule7) triple6) -> rule2))] Erin is blue.[(triple8 OR ((triple9) -> rule1) OR ((triple10 triple11) -> rule7) OR ((((triple14) -> rule8)) -> rule1) OR ((triple10 ((triple14) -> rule3)) -> rule7) OR ((triple10 ((triple14) -> rule5)) -> rule7) OR ((((triple9 triple13) -> rule6) triple11) -> rule7) OR ((((triple9 triple13) -> rule6) ((triple14) -> rule3)) -> rule7) OR ((((triple9 triple13) -> rule6) ((triple14) -> rule5)) -> rule7) OR ((((((triple14) -> rule8) triple13) -> rule6) triple11) -> rule7) OR ((((((triple14) -> rule8) triple13) -> rule6) ((triple14) -> rule3)) -> rule7) OR ((((((triple14) -> rule8) triple13) -> rule6) ((triple14) -> rule5)) -> rule7))] Erin is cold.[(triple9 OR ((triple14) -> rule8) OR ((((triple8 triple13) -> rule2)) -> rule8) OR ((((((triple10 triple11) -> rule7) triple13) -> rule2)) -> rule8))] Erin is furry.[(triple10 OR ((triple9 triple13) -> rule6) OR ((((triple14) -> rule8) triple13) -> rule6) OR ((((((triple8 triple13) -> rule2)) -> rule8) triple13) -> rule6))] Erin is green.[(triple11 OR ((triple14) -> rule3) OR ((triple14) -> rule5) OR ((((triple8 triple13) -> rule2)) -> rule3) OR ((((triple8 triple13) -> rule2)) -> rule5) OR ((((((triple9) -> rule1) triple13) -> rule2)) -> rule3) OR ((((((triple9) -> rule1) triple13) -> rule2)) -> rule5))] Erin is nice.[(triple12 OR ((triple13 triple10) -> rule4) OR ((triple13 ((triple9 triple13) -> rule6)) -> rule4) OR ((triple13 ((((triple14) -> rule8) triple13) -> rule6)) -> rule4) OR ((triple13 ((((((triple8 triple13) -> rule2)) -> rule8) triple13) -> rule6)) -> rule4))] Erin is red.[(triple13)] Erin is round.[(triple14 OR ((triple8 triple13) -> rule2) OR ((((triple9) -> rule1) triple13) -> rule2) OR ((((triple10 triple11) -> rule7) triple13) -> rule2) OR ((((((triple9 triple13) -> rule6) triple11) -> rule7) triple13) -> rule2))]