Bob is cold. Bob is furry. Bob is green. Bob is quiet. Bob is red. Dave is cold. Dave is furry. Dave is green. Dave is kind. Dave is quiet. Dave is red. Dave is round. Erin is cold. Erin is green. Fiona is red. Fiona is round. Green things are furry. If something is red then it is green. Red, furry things are kind.
Erin is not kind.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2 OR ((triple3) -> rule1) OR ((((triple5) -> rule2)) -> rule1))] Bob is green.[(triple3 OR ((triple5) -> rule2))] Bob is quiet.[(triple4)] Bob is red.[(triple5)] Dave is cold.[(triple6)] Dave is furry.[(triple7 OR ((triple8) -> rule1) OR ((((triple11) -> rule2)) -> rule1))] Dave is green.[(triple8 OR ((triple11) -> rule2))] Dave is kind.[(triple9 OR ((triple11 triple7) -> rule3) OR ((triple11 ((triple8) -> rule1)) -> rule3) OR ((triple11 ((((triple11) -> rule2)) -> rule1)) -> rule3))] Dave is quiet.[(triple10)] Dave is red.[(triple11)] Dave is round.[(triple12)] Erin is cold.[(triple13)] Erin is green.[(triple14)] Fiona is red.[(triple15)] Fiona is round.[(triple16)] @1: Bob is kind.[(((triple5 triple2) -> rule3) OR ((triple5 ((triple3) -> rule1)) -> rule3) OR ((triple5 ((((triple5) -> rule2)) -> rule1)) -> rule3))] Erin is furry.[(((triple14) -> rule1))] Fiona is green.[(((triple15) -> rule2))] @2: Fiona is furry.[(((((triple15) -> rule2)) -> rule1))] @3: Fiona is kind.[(((triple15 ((((triple15) -> rule2)) -> rule1)) -> rule3))]