Bob is big. Dave is big. Dave is quiet. Dave is round. Fiona is round. Harry is kind. Harry is smart. Big people are kind. All kind, big people are round. If someone is smart then they are kind. If someone is green and smart then they are furry. If someone is quiet and furry then they are smart. Furry, big people are quiet. All smart, kind people are big. If someone is furry then they are big. Round people are furry.
Harry is not kind.
@0: Bob is big.[(triple1)] Dave is big.[(triple2 OR ((((triple4) -> rule9)) -> rule8) OR ((((triple3 ((triple4) -> rule9)) -> rule5) ((((triple3 ((triple4) -> rule9)) -> rule5)) -> rule3)) -> rule7))] Dave is quiet.[(triple3 OR ((((triple4) -> rule9) triple2) -> rule6) OR ((((triple4) -> rule9) ((((triple4) -> rule9)) -> rule8)) -> rule6) OR ((((((((triple2) -> rule1) triple2) -> rule2)) -> rule9) triple2) -> rule6) OR ((((((((triple2) -> rule1) triple2) -> rule2)) -> rule9) ((((triple4) -> rule9)) -> rule8)) -> rule6))] Dave is round.[(triple4 OR ((((triple2) -> rule1) triple2) -> rule2))] Fiona is round.[(triple5)] Harry is kind.[(triple6 OR ((triple7) -> rule3))] Harry is smart.[(triple7)] @1: Bob is kind.[(((triple1) -> rule1))] Dave is furry.[(((triple4) -> rule9) OR ((((((triple2) -> rule1) triple2) -> rule2)) -> rule9))] Dave is kind.[(((triple2) -> rule1) OR ((((((triple4) -> rule9)) -> rule8)) -> rule1) OR ((((triple3 ((triple4) -> rule9)) -> rule5)) -> rule3) OR ((((((((triple4) -> rule9) triple2) -> rule6) ((triple4) -> rule9)) -> rule5)) -> rule3) OR ((((((((triple4) -> rule9) ((((triple4) -> rule9)) -> rule8)) -> rule6) ((triple4) -> rule9)) -> rule5)) -> rule3))] Fiona is furry.[(((triple5) -> rule9))] Harry is big.[(((triple7 triple6) -> rule7) OR ((triple7 ((triple7) -> rule3)) -> rule7))] @2: Bob is round.[(((((triple1) -> rule1) triple1) -> rule2))] Dave is smart.[(((triple3 ((triple4) -> rule9)) -> rule5) OR ((((((triple4) -> rule9) triple2) -> rule6) ((triple4) -> rule9)) -> rule5) OR ((triple3 ((((((triple2) -> rule1) triple2) -> rule2)) -> rule9)) -> rule5) OR ((((((triple4) -> rule9) triple2) -> rule6) ((((((triple2) -> rule1) triple2) -> rule2)) -> rule9)) -> rule5) OR ((((((triple4) -> rule9) ((((triple4) -> rule9)) -> rule8)) -> rule6) ((triple4) -> rule9)) -> rule5) OR ((((((triple4) -> rule9) ((((triple4) -> rule9)) -> rule8)) -> rule6) ((((((triple2) -> rule1) triple2) -> rule2)) -> rule9)) -> rule5) OR ((((((((((triple2) -> rule1) triple2) -> rule2)) -> rule9) triple2) -> rule6) ((triple4) -> rule9)) -> rule5) OR ((((((((((triple2) -> rule1) triple2) -> rule2)) -> rule9) triple2) -> rule6) ((((((triple2) -> rule1) triple2) -> rule2)) -> rule9)) -> rule5) OR ((((((((((triple2) -> rule1) triple2) -> rule2)) -> rule9) ((((triple4) -> rule9)) -> rule8)) -> rule6) ((triple4) -> rule9)) -> rule5) OR ((((((((((triple2) -> rule1) triple2) -> rule2)) -> rule9) ((((triple4) -> rule9)) -> rule8)) -> rule6) ((((((triple2) -> rule1) triple2) -> rule2)) -> rule9)) -> rule5))] Fiona is big.[(((((triple5) -> rule9)) -> rule8))] Harry is round.[(((triple6 ((triple7 triple6) -> rule7)) -> rule2) OR ((((triple7) -> rule3) ((triple7 triple6) -> rule7)) -> rule2) OR ((triple6 ((triple7 ((triple7) -> rule3)) -> rule7)) -> rule2) OR ((((triple7) -> rule3) ((triple7 ((triple7) -> rule3)) -> rule7)) -> rule2))] @3: Bob is furry.[(((((((triple1) -> rule1) triple1) -> rule2)) -> rule9))] Fiona is kind.[(((((((triple5) -> rule9)) -> rule8)) -> rule1) OR ((((((((triple5) -> rule9) ((((triple5) -> rule9)) -> rule8)) -> rule6) ((triple5) -> rule9)) -> rule5)) -> rule3))] Fiona is quiet.[(((((triple5) -> rule9) ((((triple5) -> rule9)) -> rule8)) -> rule6))] Harry is furry.[(((((triple6 ((triple7 triple6) -> rule7)) -> rule2)) -> rule9) OR ((((((triple7) -> rule3) ((triple7 triple6) -> rule7)) -> rule2)) -> rule9) OR ((((triple6 ((triple7 ((triple7) -> rule3)) -> rule7)) -> rule2)) -> rule9) OR ((((((triple7) -> rule3) ((triple7 ((triple7) -> rule3)) -> rule7)) -> rule2)) -> rule9))] @4: Bob is quiet.[(((((((((triple1) -> rule1) triple1) -> rule2)) -> rule9) triple1) -> rule6))] Fiona is smart.[(((((((triple5) -> rule9) ((((triple5) -> rule9)) -> rule8)) -> rule6) ((triple5) -> rule9)) -> rule5))] Harry is quiet.[(((((((triple6 ((triple7 triple6) -> rule7)) -> rule2)) -> rule9) ((triple7 triple6) -> rule7)) -> rule6) OR ((((((triple6 ((triple7 triple6) -> rule7)) -> rule2)) -> rule9) ((triple7 ((triple7) -> rule3)) -> rule7)) -> rule6) OR ((((((((triple7) -> rule3) ((triple7 triple6) -> rule7)) -> rule2)) -> rule9) ((triple7 triple6) -> rule7)) -> rule6) OR ((((((((triple7) -> rule3) ((triple7 triple6) -> rule7)) -> rule2)) -> rule9) ((triple7 ((triple7) -> rule3)) -> rule7)) -> rule6) OR ((((((triple6 ((triple7 ((triple7) -> rule3)) -> rule7)) -> rule2)) -> rule9) ((triple7 triple6) -> rule7)) -> rule6) OR ((((((triple6 ((triple7 ((triple7) -> rule3)) -> rule7)) -> rule2)) -> rule9) ((triple7 ((triple7) -> rule3)) -> rule7)) -> rule6) OR ((((((((triple7) -> rule3) ((triple7 ((triple7) -> rule3)) -> rule7)) -> rule2)) -> rule9) ((triple7 triple6) -> rule7)) -> rule6) OR ((((((((triple7) -> rule3) ((triple7 ((triple7) -> rule3)) -> rule7)) -> rule2)) -> rule9) ((triple7 ((triple7) -> rule3)) -> rule7)) -> rule6))] @5: Bob is smart.[(((((((((((triple1) -> rule1) triple1) -> rule2)) -> rule9) triple1) -> rule6) ((((((triple1) -> rule1) triple1) -> rule2)) -> rule9)) -> rule5))]