Fiona is big. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is smart. Fiona is white. Harry is furry. Harry is smart. Harry is white. Nice people are smart. Kind people are smart. All smart people are quiet. All smart, furry people are white. All smart people are white. All quiet people are kind. All big people are nice. If Fiona is not furry and Fiona is not smart then Fiona is white.
Harry is quiet.
@0: Fiona is big.[(triple1)] Fiona is furry.[(triple2)] Fiona is kind.[(triple3 OR ((triple5) -> rule6) OR ((((triple6) -> rule3)) -> rule6) OR ((((((triple4) -> rule1)) -> rule3)) -> rule6) OR ((((((((triple1) -> rule7)) -> rule1)) -> rule3)) -> rule6))] Fiona is nice.[(triple4 OR ((triple1) -> rule7))] Fiona is quiet.[(triple5 OR ((triple6) -> rule3) OR ((((triple3) -> rule2)) -> rule3) OR ((((triple4) -> rule1)) -> rule3) OR ((((((triple1) -> rule7)) -> rule1)) -> rule3))] Fiona is smart.[(triple6 OR ((triple3) -> rule2) OR ((triple4) -> rule1) OR ((((triple1) -> rule7)) -> rule1) OR ((((triple5) -> rule6)) -> rule2))] Fiona is white.[(triple7 OR ((triple6) -> rule5) OR ((triple6 triple2) -> rule4) OR ((((triple3) -> rule2)) -> rule5) OR ((((triple4) -> rule1)) -> rule5) OR ((((triple3) -> rule2) triple2) -> rule4) OR ((((triple4) -> rule1) triple2) -> rule4) OR ((((((triple1) -> rule7)) -> rule1)) -> rule5) OR ((((((triple5) -> rule6)) -> rule2)) -> rule5) OR ((((((triple1) -> rule7)) -> rule1) triple2) -> rule4) OR ((((((triple5) -> rule6)) -> rule2) triple2) -> rule4))] Harry is furry.[(triple8)] Harry is smart.[(triple9)] Harry is white.[(triple10 OR ((triple9) -> rule5) OR ((triple9 triple8) -> rule4))] @1: Harry is quiet.[(((triple9) -> rule3))] @2: Harry is kind.[(((((triple9) -> rule3)) -> rule6))]