Bob is not big. Bob is blue. Bob is furry. Bob is kind. Bob is quiet. Bob is not smart. Charlie is big. Charlie is not blue. Charlie is furry. Charlie is kind. Charlie is quiet. Charlie is not smart. Fiona is big. Fiona is not furry. Fiona is green. Fiona is smart. Smart, furry things are quiet. If something is quiet then it is furry. If Bob is blue then Bob is kind. If something is smart and quiet then it is kind. If something is blue and not quiet then it is kind. If something is furry and not quiet then it is green. Quiet, blue things are green. If something is kind and not big then it is green.
Fiona is kind.
@0: Bob is blue.[(triple2)] Bob is furry.[(triple3 OR ((triple5) -> rule2))] Bob is kind.[(triple4 OR ((triple2) -> rule3))] Bob is not big.[(triple1)] Bob is not smart.[(triple6)] Bob is quiet.[(triple5)] Charlie is big.[(triple7)] Charlie is furry.[(triple9 OR ((triple11) -> rule2))] Charlie is kind.[(triple10)] Charlie is not blue.[(triple8)] Charlie is not smart.[(triple12)] Charlie is quiet.[(triple11)] Fiona is big.[(triple13)] Fiona is green.[(triple15)] Fiona is not furry.[(triple14)] Fiona is smart.[(triple16)] @1: Bob is green.[(((triple4 triple1) -> rule8) OR ((triple5 triple2) -> rule7) OR ((((triple2) -> rule3) triple1) -> rule8))]