Bob is furry. Bob is smart. Bob is white. Charlie is smart. Gary is blue. Gary is nice. Harry is blue. Harry is cold. Harry is green. Harry is nice. Harry is smart. Harry is white. All nice people are furry. If someone is blue and not green then they are furry. Green people are cold. White people are cold. All blue people are cold. Green people are nice. All furry, green people are white. If someone is green and not furry then they are smart.
Bob is not nice.
@0: Bob is furry.[(triple1)] Bob is smart.[(triple2)] Bob is white.[(triple3)] Charlie is smart.[(triple4)] Gary is blue.[(triple5)] Gary is nice.[(triple6)] Harry is blue.[(triple7)] Harry is cold.[(triple8 OR ((triple12) -> rule4) OR ((triple7) -> rule5) OR ((triple9) -> rule3) OR ((((((triple10) -> rule1) triple9) -> rule7)) -> rule4) OR ((((((((triple9) -> rule6)) -> rule1) triple9) -> rule7)) -> rule4))] Harry is green.[(triple9)] Harry is nice.[(triple10 OR ((triple9) -> rule6))] Harry is smart.[(triple11)] Harry is white.[(triple12 OR ((((triple10) -> rule1) triple9) -> rule7) OR ((((((triple9) -> rule6)) -> rule1) triple9) -> rule7))] @1: Bob is cold.[(((triple3) -> rule4))] Gary is cold.[(((triple5) -> rule5))] Gary is furry.[(((triple6) -> rule1))] Harry is furry.[(((triple10) -> rule1) OR ((((triple9) -> rule6)) -> rule1))]