Bob is furry. Bob is smart. Charlie is furry. Charlie is kind. Charlie is nice. Charlie is round. Dave is furry. Dave is red. Dave is round. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is round. Fiona is smart. Fiona is white. White people are kind. If Charlie is smart and Charlie is white then Charlie is red. If Bob is smart and Bob is furry then Bob is nice. All kind people are red. Round, furry people are nice. If Dave is kind and Dave is white then Dave is round. All kind people are furry. If someone is smart and round then they are red.
Fiona is furry.
@0: Bob is furry.[(triple1)] Bob is smart.[(triple2)] Charlie is furry.[(triple3 OR ((triple4) -> rule7))] Charlie is kind.[(triple4)] Charlie is nice.[(triple5 OR ((triple6 triple3) -> rule5) OR ((triple6 ((triple4) -> rule7)) -> rule5))] Charlie is round.[(triple6)] Dave is furry.[(triple7)] Dave is red.[(triple8)] Dave is round.[(triple9)] Fiona is furry.[(triple10 OR ((triple11) -> rule7) OR ((((triple15) -> rule1)) -> rule7))] Fiona is kind.[(triple11 OR ((triple15) -> rule1))] Fiona is nice.[(triple12 OR ((triple13 triple10) -> rule5) OR ((triple13 ((triple11) -> rule7)) -> rule5) OR ((triple13 ((((triple15) -> rule1)) -> rule7)) -> rule5))] Fiona is round.[(triple13)] Fiona is smart.[(triple14)] Fiona is white.[(triple15)] @1: Bob is nice.[(((triple2 triple1) -> rule3))] Charlie is red.[(((triple4) -> rule4))] Dave is nice.[(((triple9 triple7) -> rule5))] Fiona is red.[(((triple11) -> rule4) OR ((triple14 triple13) -> rule8) OR ((((triple15) -> rule1)) -> rule4))]