Bob is big. Bob is green. Dave is furry. Dave is green. Dave is kind. Dave is quiet. Dave is round. Dave is young. Erin is green. Erin is quiet. Erin is round. Erin is young. Harry is big. Harry is green. Harry is kind. All furry things are kind. If Harry is kind and Harry is round then Harry is quiet. All big, furry things are quiet. If Erin is kind then Erin is quiet. All kind, round things are young. If something is furry and kind then it is quiet.
Dave is green.
@0: Bob is big.[(triple1)] Bob is green.[(triple2)] Dave is furry.[(triple3)] Dave is green.[(triple4)] Dave is kind.[(triple5 OR ((triple3) -> rule1))] Dave is quiet.[(triple6 OR ((triple3 triple5) -> rule6) OR ((triple3 ((triple3) -> rule1)) -> rule6))] Dave is round.[(triple7)] Dave is young.[(triple8 OR ((triple5 triple7) -> rule5) OR ((((triple3) -> rule1) triple7) -> rule5))] Erin is green.[(triple9)] Erin is quiet.[(triple10)] Erin is round.[(triple11)] Erin is young.[(triple12)] Harry is big.[(triple13)] Harry is green.[(triple14)] Harry is kind.[(triple15)]