Bob is nice. Bob is quiet. Dave is kind. Dave is nice. Dave is young. Gary is big. Gary is furry. Gary is nice. Harry is big. Harry is kind. Harry is nice. Harry is quiet. If someone is kind and big then they are nice. Quiet people are young. If someone is blue and furry then they are kind. Big, furry people are nice. All young people are blue. All blue people are furry.
Dave is not furry.
@0: Bob is nice.[(triple1)] Bob is quiet.[(triple2)] Dave is kind.[(triple3 OR ((((triple5) -> rule5) ((((triple5) -> rule5)) -> rule6)) -> rule3))] Dave is nice.[(triple4)] Dave is young.[(triple5)] Gary is big.[(triple6)] Gary is furry.[(triple7)] Gary is nice.[(triple8 OR ((triple6 triple7) -> rule4))] Harry is big.[(triple9)] Harry is kind.[(triple10 OR ((((((triple12) -> rule2)) -> rule5) ((((((triple12) -> rule2)) -> rule5)) -> rule6)) -> rule3))] Harry is nice.[(triple11 OR ((triple10 triple9) -> rule1) OR ((triple9 ((((((triple12) -> rule2)) -> rule5)) -> rule6)) -> rule4) OR ((((((((triple12) -> rule2)) -> rule5) ((((((triple12) -> rule2)) -> rule5)) -> rule6)) -> rule3) triple9) -> rule1))] Harry is quiet.[(triple12)] @1: Bob is young.[(((triple2) -> rule2))] Dave is blue.[(((triple5) -> rule5))] Harry is young.[(((triple12) -> rule2))] @2: Bob is blue.[(((((triple2) -> rule2)) -> rule5))] Dave is furry.[(((((triple5) -> rule5)) -> rule6))] Harry is blue.[(((((triple12) -> rule2)) -> rule5))] @3: Bob is furry.[(((((((triple2) -> rule2)) -> rule5)) -> rule6))] Harry is furry.[(((((((triple12) -> rule2)) -> rule5)) -> rule6))] @4: Bob is kind.[(((((((triple2) -> rule2)) -> rule5) ((((((triple2) -> rule2)) -> rule5)) -> rule6)) -> rule3))]