Bob is red. Bob is not white. Charlie is red. Charlie is smart. Erin is cold. Erin is furry. Erin is red. Harry is big. Harry is furry. Harry is kind. Harry is red. Harry is not white. If something is red and big then it is kind. If something is kind then it is cold. If something is cold then it is smart. If Charlie is furry and Charlie is red then Charlie is white. If something is kind then it is furry. White things are not furry. All smart, kind things are furry. If something is kind and not cold then it is furry.
Harry is smart.
@0: Bob is not white.[(triple2)] Bob is red.[(triple1)] Charlie is red.[(triple3)] Charlie is smart.[(triple4)] Erin is cold.[(triple5)] Erin is furry.[(triple6)] Erin is red.[(triple7)] Harry is big.[(triple8)] Harry is furry.[(triple9 OR ((triple10) -> rule5) OR ((((triple11 triple8) -> rule1)) -> rule5) OR ((((((triple10) -> rule2)) -> rule3) triple10) -> rule7) OR ((((((triple10) -> rule2)) -> rule3) ((triple11 triple8) -> rule1)) -> rule7) OR ((((((((triple11 triple8) -> rule1)) -> rule2)) -> rule3) triple10) -> rule7) OR ((((((((triple11 triple8) -> rule1)) -> rule2)) -> rule3) ((triple11 triple8) -> rule1)) -> rule7))] Harry is kind.[(triple10 OR ((triple11 triple8) -> rule1))] Harry is not white.[(triple12)] Harry is red.[(triple11)] @1: Erin is smart.[(((triple5) -> rule3))] Harry is cold.[(((triple10) -> rule2) OR ((((triple11 triple8) -> rule1)) -> rule2))] @2: Harry is smart.[(((((triple10) -> rule2)) -> rule3) OR ((((((triple11 triple8) -> rule1)) -> rule2)) -> rule3))]