Bob is not cold. Bob is not kind. Bob is not round. Charlie is not cold. Charlie is not green. Charlie is not kind. Charlie is not round. Erin is cold. Erin is furry. Erin is rough. Erin is round. Harry is cold. Harry is furry. Harry is kind. Harry is round. Green, big people are furry. All rough people are furry. Furry, green people are round. Kind people are round. Round people are rough. All big, green people are rough. All kind, furry people are cold. If Erin is kind and Erin is green then Erin is round.
Harry is big.
@0: Bob is not cold.[(triple1)] Bob is not kind.[(triple2)] Bob is not round.[(triple3)] Charlie is not cold.[(triple4)] Charlie is not green.[(triple5)] Charlie is not kind.[(triple6)] Charlie is not round.[(triple7)] Erin is cold.[(triple8)] Erin is furry.[(triple9 OR ((triple10) -> rule2) OR ((((triple11) -> rule5)) -> rule2))] Erin is rough.[(triple10 OR ((triple11) -> rule5))] Erin is round.[(triple11)] Harry is cold.[(triple12 OR ((triple14 triple13) -> rule7) OR ((triple14 ((((triple15) -> rule5)) -> rule2)) -> rule7) OR ((triple14 ((((((triple14) -> rule4)) -> rule5)) -> rule2)) -> rule7))] Harry is furry.[(triple13 OR ((((triple15) -> rule5)) -> rule2) OR ((((((triple14) -> rule4)) -> rule5)) -> rule2))] Harry is kind.[(triple14)] Harry is round.[(triple15 OR ((triple14) -> rule4))] @1: Harry is rough.[(((triple15) -> rule5) OR ((((triple14) -> rule4)) -> rule5))]