Dave is cold. Dave is furry. Dave is kind. Dave is young. Fiona is blue. Fiona is cold. Fiona is white. Gary is furry. Gary is kind. Gary is young. If Dave is kind and Dave is young then Dave is nice. All young people are white. If Dave is cold then Dave is furry. All cold, white people are nice. If Dave is white then Dave is kind. Blue people are cold. All white, furry people are blue. If someone is nice then they are furry.
Fiona is not kind.
@0: Dave is cold.[(triple1 OR ((((((triple4) -> rule2) triple2) -> rule7)) -> rule6) OR ((((((triple4) -> rule2) ((((triple3 triple4) -> rule1)) -> rule8)) -> rule7)) -> rule6) OR ((((((triple4) -> rule2) ((((((((triple4) -> rule2)) -> rule5) triple4) -> rule1)) -> rule8)) -> rule7)) -> rule6))] Dave is furry.[(triple2 OR ((triple1) -> rule3) OR ((((triple3 triple4) -> rule1)) -> rule8) OR ((((triple1 ((triple4) -> rule2)) -> rule4)) -> rule8) OR ((((((((triple4) -> rule2)) -> rule5) triple4) -> rule1)) -> rule8))] Dave is kind.[(triple3 OR ((((triple4) -> rule2)) -> rule5))] Dave is young.[(triple4)] Fiona is blue.[(triple5 OR ((triple7 ((((triple6 triple7) -> rule4)) -> rule8)) -> rule7))] Fiona is cold.[(triple6 OR ((triple5) -> rule6))] Fiona is white.[(triple7)] Gary is furry.[(triple8)] Gary is kind.[(triple9)] Gary is young.[(triple10)] @1: Dave is nice.[(((triple3 triple4) -> rule1) OR ((triple1 ((triple4) -> rule2)) -> rule4) OR ((((((triple4) -> rule2)) -> rule5) triple4) -> rule1) OR ((((((((triple4) -> rule2) triple2) -> rule7)) -> rule6) ((triple4) -> rule2)) -> rule4))] Dave is white.[(((triple4) -> rule2))] Fiona is nice.[(((triple6 triple7) -> rule4) OR ((((triple5) -> rule6) triple7) -> rule4))] Gary is white.[(((triple10) -> rule2))] @2: Dave is blue.[(((((triple4) -> rule2) triple2) -> rule7) OR ((((triple4) -> rule2) ((triple1) -> rule3)) -> rule7) OR ((((triple4) -> rule2) ((((triple3 triple4) -> rule1)) -> rule8)) -> rule7) OR ((((triple4) -> rule2) ((((triple1 ((triple4) -> rule2)) -> rule4)) -> rule8)) -> rule7) OR ((((triple4) -> rule2) ((((((((triple4) -> rule2)) -> rule5) triple4) -> rule1)) -> rule8)) -> rule7))] Fiona is furry.[(((((triple6 triple7) -> rule4)) -> rule8) OR ((((((triple5) -> rule6) triple7) -> rule4)) -> rule8))] Gary is blue.[(((((triple10) -> rule2) triple8) -> rule7))] @3: Gary is cold.[(((((((triple10) -> rule2) triple8) -> rule7)) -> rule6))] @4: Gary is nice.[(((((((((triple10) -> rule2) triple8) -> rule7)) -> rule6) ((triple10) -> rule2)) -> rule4))]