Bob is big. Bob is blue. Bob is smart. Charlie is big. Charlie is not blue. Charlie is furry. Charlie is kind. Charlie is round. Charlie is smart. Charlie is white. Harry is not big. Harry is furry. Harry is not kind. Harry is round. Harry is smart. Harry is white. If someone is big and not furry then they are white. If someone is kind and round then they are white. If someone is furry and not smart then they are white. Kind people are white. If Charlie is blue then Charlie is round. If someone is white and not blue then they are big. Furry, big people are kind. If Bob is not smart then Bob is not kind.
Harry is blue.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is smart.[(triple3)] Charlie is big.[(triple4 OR ((triple10 triple5) -> rule6) OR ((((triple7) -> rule4) triple5) -> rule6) OR ((((triple7 triple8) -> rule2) triple5) -> rule6))] Charlie is furry.[(triple6)] Charlie is kind.[(triple7 OR ((triple6 triple4) -> rule7) OR ((triple6 ((triple10 triple5) -> rule6)) -> rule7))] Charlie is not blue.[(triple5)] Charlie is round.[(triple8)] Charlie is smart.[(triple9)] Charlie is white.[(triple10 OR ((triple7) -> rule4) OR ((triple7 triple8) -> rule2) OR ((((triple6 triple4) -> rule7)) -> rule4) OR ((((triple6 triple4) -> rule7) triple8) -> rule2))] Harry is furry.[(triple12)] Harry is not big.[(triple11)] Harry is not kind.[(triple13)] Harry is round.[(triple14)] Harry is smart.[(triple15)] Harry is white.[(triple16)]