Bob is green. Bob is nice. Bob is rough. Charlie is big. Charlie is green. Charlie is kind. Charlie is quiet. Erin is kind. Erin is smart. Harry is big. Harry is green. Harry is kind. Harry is quiet. Harry is rough. Harry is smart. Rough people are nice. All nice people are green. All smart people are kind.
Erin is big.
@0: Bob is green.[(triple1 OR ((triple2) -> rule2) OR ((((triple3) -> rule1)) -> rule2))] Bob is nice.[(triple2 OR ((triple3) -> rule1))] Bob is rough.[(triple3)] Charlie is big.[(triple4)] Charlie is green.[(triple5)] Charlie is kind.[(triple6)] Charlie is quiet.[(triple7)] Erin is kind.[(triple8 OR ((triple9) -> rule3))] Erin is smart.[(triple9)] Harry is big.[(triple10)] Harry is green.[(triple11 OR ((((triple14) -> rule1)) -> rule2))] Harry is kind.[(triple12 OR ((triple15) -> rule3))] Harry is quiet.[(triple13)] Harry is rough.[(triple14)] Harry is smart.[(triple15)] @1: Harry is nice.[(((triple14) -> rule1))]