Bob is furry. Bob is kind. Bob is round. Dave is furry. Dave is round. Dave is smart. Fiona is furry. Fiona is green. Fiona is kind. Fiona is rough. Fiona is round. Fiona is smart. Fiona is young. Harry is kind. Harry is young. Green people are young. If someone is kind and young then they are furry. If someone is smart then they are furry. Green people are rough. If someone is rough then they are round. All green, smart people are rough. Kind, round people are smart. If someone is furry and young then they are green.
Dave is not rough.
@0: Bob is furry.[(triple1 OR ((((triple2 triple3) -> rule7)) -> rule3))] Bob is kind.[(triple2)] Bob is round.[(triple3)] Dave is furry.[(triple4 OR ((triple6) -> rule3))] Dave is round.[(triple5)] Dave is smart.[(triple6)] Fiona is furry.[(triple7 OR ((triple12) -> rule3) OR ((triple9 triple13) -> rule2) OR ((((triple9 triple11) -> rule7)) -> rule3) OR ((triple9 ((triple8) -> rule1)) -> rule2) OR ((((triple9 ((triple10) -> rule5)) -> rule7)) -> rule3) OR ((((triple9 ((((triple8) -> rule4)) -> rule5)) -> rule7)) -> rule3))] Fiona is green.[(triple8 OR ((triple7 triple13) -> rule8) OR ((((triple12) -> rule3) triple13) -> rule8) OR ((((triple9 triple13) -> rule2) triple13) -> rule8) OR ((((((triple9 triple11) -> rule7)) -> rule3) triple13) -> rule8) OR ((((((triple9 ((triple10) -> rule5)) -> rule7)) -> rule3) triple13) -> rule8))] Fiona is kind.[(triple9)] Fiona is rough.[(triple10 OR ((triple8) -> rule4) OR ((triple8 triple12) -> rule6) OR ((((triple7 triple13) -> rule8)) -> rule4) OR ((triple8 ((triple9 triple11) -> rule7)) -> rule6) OR ((((triple7 triple13) -> rule8) triple12) -> rule6) OR ((((triple7 triple13) -> rule8) ((triple9 triple11) -> rule7)) -> rule6) OR ((((((triple12) -> rule3) triple13) -> rule8)) -> rule4) OR ((((((triple9 triple13) -> rule2) triple13) -> rule8)) -> rule4) OR ((((((triple12) -> rule3) triple13) -> rule8) triple12) -> rule6) OR ((((((triple9 triple13) -> rule2) triple13) -> rule8) triple12) -> rule6) OR ((((((triple12) -> rule3) triple13) -> rule8) ((triple9 triple11) -> rule7)) -> rule6) OR ((((((triple9 triple13) -> rule2) triple13) -> rule8) ((triple9 triple11) -> rule7)) -> rule6) OR ((((((((triple9 triple11) -> rule7)) -> rule3) triple13) -> rule8)) -> rule4) OR ((((((((triple9 triple11) -> rule7)) -> rule3) triple13) -> rule8) triple12) -> rule6) OR ((((((((triple9 triple11) -> rule7)) -> rule3) triple13) -> rule8) ((triple9 triple11) -> rule7)) -> rule6))] Fiona is round.[(triple11 OR ((triple10) -> rule5) OR ((((triple8) -> rule4)) -> rule5) OR ((((triple8 triple12) -> rule6)) -> rule5) OR ((((((triple7 triple13) -> rule8)) -> rule4)) -> rule5) OR ((((((triple7 triple13) -> rule8) triple12) -> rule6)) -> rule5) OR ((((((((triple12) -> rule3) triple13) -> rule8)) -> rule4)) -> rule5) OR ((((((((triple9 triple13) -> rule2) triple13) -> rule8)) -> rule4)) -> rule5) OR ((((((((triple12) -> rule3) triple13) -> rule8) triple12) -> rule6)) -> rule5) OR ((((((((triple9 triple13) -> rule2) triple13) -> rule8) triple12) -> rule6)) -> rule5))] Fiona is smart.[(triple12 OR ((triple9 triple11) -> rule7) OR ((triple9 ((triple10) -> rule5)) -> rule7) OR ((triple9 ((((triple8) -> rule4)) -> rule5)) -> rule7) OR ((triple9 ((((((triple7 triple13) -> rule8)) -> rule4)) -> rule5)) -> rule7) OR ((triple9 ((((((((triple9 triple13) -> rule2) triple13) -> rule8)) -> rule4)) -> rule5)) -> rule7))] Fiona is young.[(triple13 OR ((triple8) -> rule1))] Harry is kind.[(triple14)] Harry is young.[(triple15)] @1: Bob is smart.[(((triple2 triple3) -> rule7))] Harry is furry.[(((triple14 triple15) -> rule2))] @2: Harry is green.[(((((triple14 triple15) -> rule2) triple15) -> rule8))] @3: Harry is rough.[(((((((triple14 triple15) -> rule2) triple15) -> rule8)) -> rule4))] @4: Harry is round.[(((((((((triple14 triple15) -> rule2) triple15) -> rule8)) -> rule4)) -> rule5))] @5: Harry is smart.[(((triple14 ((((((((triple14 triple15) -> rule2) triple15) -> rule8)) -> rule4)) -> rule5)) -> rule7))]