Bob is kind. Bob is red. Dave is kind. Dave is quiet. Fiona is kind. Harry is green. Harry is not smart. Red people are furry. Green people are quiet. If Harry is smart then Harry is not kind. If someone is furry and not quiet then they are round. If someone is kind and green then they are smart. If someone is furry then they are smart. Kind people are smart. All round people are smart.
Dave is green.
@0: Bob is kind.[(triple1)] Bob is red.[(triple2)] Dave is kind.[(triple3)] Dave is quiet.[(triple4)] Fiona is kind.[(triple5)] Harry is green.[(triple6)] Harry is not smart.[(triple7)] @1: Bob is furry.[(((triple2) -> rule1))] Bob is smart.[(((triple1) -> rule7) OR ((((triple2) -> rule1)) -> rule6))] Dave is smart.[(((triple3) -> rule7))] Fiona is smart.[(((triple5) -> rule7))] Harry is quiet.[(((triple6) -> rule2))]