Bob is cold. Bob is rough. Bob is round. Charlie is cold. Charlie is furry. Charlie is red. Charlie is rough. Charlie is round. Charlie is white. Charlie is young. Harry is cold. Harry is furry. Harry is red. Harry is white. Harry is young. If Harry is furry and Harry is rough then Harry is white. If Charlie is furry and Charlie is rough then Charlie is red. Young, round people are rough. If someone is white and rough then they are round. If Bob is white then Bob is young. All round, furry people are red.
Bob is white.
@0: Bob is cold.[(triple1)] Bob is rough.[(triple2)] Bob is round.[(triple3)] Charlie is cold.[(triple4)] Charlie is furry.[(triple5)] Charlie is red.[(triple6 OR ((triple5 triple7) -> rule2) OR ((triple8 triple5) -> rule6) OR ((triple5 ((triple10 triple8) -> rule3)) -> rule2) OR ((((triple9 triple7) -> rule4) triple5) -> rule6))] Charlie is rough.[(triple7 OR ((triple10 triple8) -> rule3))] Charlie is round.[(triple8 OR ((triple9 triple7) -> rule4))] Charlie is white.[(triple9)] Charlie is young.[(triple10)] Harry is cold.[(triple11)] Harry is furry.[(triple12)] Harry is red.[(triple13)] Harry is white.[(triple14)] Harry is young.[(triple15)]