Dave is cold. Dave is kind. Dave is round. Erin is big. Erin is blue. Erin is cold. Erin is furry. Erin is green. Erin is kind. Erin is round. If someone is furry and kind then they are cold. Green people are cold. If Dave is kind then Dave is big. Green, round people are big. Round people are kind. All green, round people are furry. All big people are cold. All round, big people are green.
Erin is blue.
@0: Dave is cold.[(triple1 OR ((((triple2) -> rule3)) -> rule7) OR ((((((triple3) -> rule5)) -> rule3)) -> rule7) OR ((((triple3 ((triple2) -> rule3)) -> rule8)) -> rule2) OR ((((triple3 ((((triple3) -> rule5)) -> rule3)) -> rule8)) -> rule2) OR ((((((triple3 ((triple2) -> rule3)) -> rule8) triple3) -> rule6) triple2) -> rule1) OR ((((((triple3 ((triple2) -> rule3)) -> rule8) triple3) -> rule6) ((triple3) -> rule5)) -> rule1) OR ((((((triple3 ((((triple3) -> rule5)) -> rule3)) -> rule8) triple3) -> rule6) triple2) -> rule1) OR ((((((triple3 ((((triple3) -> rule5)) -> rule3)) -> rule8) triple3) -> rule6) ((triple3) -> rule5)) -> rule1))] Dave is kind.[(triple2 OR ((triple3) -> rule5))] Dave is round.[(triple3)] Erin is big.[(triple4 OR ((triple8 triple10) -> rule4))] Erin is blue.[(triple5)] Erin is cold.[(triple6 OR ((triple4) -> rule7) OR ((triple8) -> rule2) OR ((triple7 triple9) -> rule1) OR ((((triple10 triple4) -> rule8)) -> rule2) OR ((((triple8 triple10) -> rule4)) -> rule7) OR ((triple7 ((triple10) -> rule5)) -> rule1) OR ((((triple8 triple10) -> rule6) triple9) -> rule1) OR ((((triple8 triple10) -> rule6) ((triple10) -> rule5)) -> rule1) OR ((((((triple10 triple4) -> rule8) triple10) -> rule6) triple9) -> rule1) OR ((((((triple10 triple4) -> rule8) triple10) -> rule6) ((triple10) -> rule5)) -> rule1))] Erin is furry.[(triple7 OR ((triple8 triple10) -> rule6) OR ((((triple10 triple4) -> rule8) triple10) -> rule6))] Erin is green.[(triple8 OR ((triple10 triple4) -> rule8))] Erin is kind.[(triple9 OR ((triple10) -> rule5))] Erin is round.[(triple10)] @1: Dave is big.[(((triple2) -> rule3) OR ((((triple3) -> rule5)) -> rule3))] @2: Dave is green.[(((triple3 ((triple2) -> rule3)) -> rule8) OR ((triple3 ((((triple3) -> rule5)) -> rule3)) -> rule8))] @3: Dave is furry.[(((((triple3 ((triple2) -> rule3)) -> rule8) triple3) -> rule6) OR ((((triple3 ((((triple3) -> rule5)) -> rule3)) -> rule8) triple3) -> rule6))]