Bob is kind. Bob is not young. Dave is blue. Dave is furry. Dave is quiet. Dave is not young. Erin is blue. Erin is furry. Erin is kind. Erin is quiet. Erin is round. Erin is not smart. Fiona is blue. Fiona is round. Fiona is smart. Quiet people are furry. Furry, round people are quiet. Blue people are round. All quiet, furry people are round. If Bob is kind and Bob is round then Bob is not quiet. If Bob is kind then Bob is blue.
Fiona is not furry.
@0: Bob is kind.[(triple1)] Bob is not young.[(triple2)] Dave is blue.[(triple3)] Dave is furry.[(triple4 OR ((triple5) -> rule1))] Dave is not young.[(triple6)] Dave is quiet.[(triple5 OR ((triple4 ((triple3) -> rule3)) -> rule2))] Erin is blue.[(triple7)] Erin is furry.[(triple8 OR ((triple10) -> rule1))] Erin is kind.[(triple9)] Erin is not smart.[(triple12)] Erin is quiet.[(triple10 OR ((triple8 triple11) -> rule2) OR ((triple8 ((triple7) -> rule3)) -> rule2))] Erin is round.[(triple11 OR ((triple7) -> rule3) OR ((triple10 triple8) -> rule4) OR ((triple10 ((triple10) -> rule1)) -> rule4))] Fiona is blue.[(triple13)] Fiona is round.[(triple14 OR ((triple13) -> rule3))] Fiona is smart.[(triple15)] @1: Bob is blue.[(((triple1) -> rule6))] Dave is round.[(((triple3) -> rule3) OR ((triple5 triple4) -> rule4) OR ((triple5 ((triple5) -> rule1)) -> rule4))] @2: Bob is round.[(((((triple1) -> rule6)) -> rule3))] @3: Bob is not quiet.[(((triple1 ((((triple1) -> rule6)) -> rule3)) -> rule5))]