Dave is furry. Dave is green. Dave is kind. Dave is smart. Erin is rough. Gary is furry. Gary is green. Gary is kind. Harry is not furry. Harry is kind. Harry is white. All furry, big things are green. If something is big and furry then it is green. If something is white and rough then it is furry. If something is smart then it is white. All big, rough things are white. If something is big and furry then it is white. Rough things are big. If something is big then it is rough. All green, furry things are kind.
Dave is furry.
@0: Dave is furry.[(triple1)] Dave is green.[(triple2)] Dave is kind.[(triple3 OR ((triple2 triple1) -> rule9))] Dave is smart.[(triple4)] Erin is rough.[(triple5)] Gary is furry.[(triple6)] Gary is green.[(triple7)] Gary is kind.[(triple8 OR ((triple7 triple6) -> rule9))] Harry is kind.[(triple10)] Harry is not furry.[(triple9)] Harry is white.[(triple11)] @1: Dave is white.[(((triple4) -> rule4))] Erin is big.[(((triple5) -> rule7))] @2: Erin is white.[(((((triple5) -> rule7) triple5) -> rule5))] @3: Erin is furry.[(((((((triple5) -> rule7) triple5) -> rule5) triple5) -> rule3))] @4: Erin is green.[(((((triple5) -> rule7) ((((((triple5) -> rule7) triple5) -> rule5) triple5) -> rule3)) -> rule2) OR ((((((((triple5) -> rule7) triple5) -> rule5) triple5) -> rule3) ((triple5) -> rule7)) -> rule1))] @5: Erin is kind.[(((((((triple5) -> rule7) ((((((triple5) -> rule7) triple5) -> rule5) triple5) -> rule3)) -> rule2) ((((((triple5) -> rule7) triple5) -> rule5) triple5) -> rule3)) -> rule9) OR ((((((((((triple5) -> rule7) triple5) -> rule5) triple5) -> rule3) ((triple5) -> rule7)) -> rule1) ((((((triple5) -> rule7) triple5) -> rule5) triple5) -> rule3)) -> rule9))]