Bob is green. Erin is big. Erin is green. Erin is kind. Erin is quiet. Gary is kind. Gary is young. Harry is furry. Harry is green. Harry is young. If Bob is furry and Bob is green then Bob is rough. All furry people are quiet. All furry, kind people are rough. All kind people are rough. All big people are young. If someone is young then they are rough. Young, quiet people are green. If someone is kind and green then they are big.
Erin is quiet.
@0: Bob is green.[(triple1)] Erin is big.[(triple2 OR ((triple4 triple3) -> rule8))] Erin is green.[(triple3 OR ((((triple2) -> rule5) triple5) -> rule7))] Erin is kind.[(triple4)] Erin is quiet.[(triple5)] Gary is kind.[(triple6)] Gary is young.[(triple7)] Harry is furry.[(triple8)] Harry is green.[(triple9 OR ((triple10 ((triple8) -> rule2)) -> rule7))] Harry is young.[(triple10)] @1: Erin is rough.[(((triple4) -> rule4) OR ((((triple2) -> rule5)) -> rule6) OR ((((((triple4 triple3) -> rule8)) -> rule5)) -> rule6))] Erin is young.[(((triple2) -> rule5) OR ((((triple4 triple3) -> rule8)) -> rule5))] Gary is rough.[(((triple6) -> rule4) OR ((triple7) -> rule6))] Harry is quiet.[(((triple8) -> rule2))] Harry is rough.[(((triple10) -> rule6))]