Anne is not cold. Anne is kind. Bob is cold. Bob is not round. Bob is white. Erin is kind. Erin is quiet. Erin is round. Erin is white. Gary is not round. If someone is quiet then they are not furry. If someone is quiet and not cold then they are furry. All nice people are furry. All cold people are nice. Round, cold people are nice. If someone is round and not cold then they are not nice. If someone is nice and furry then they are kind. All quiet people are round.
Gary is cold.
@0: Anne is kind.[(triple2)] Anne is not cold.[(triple1)] Bob is cold.[(triple3)] Bob is not round.[(triple4)] Bob is white.[(triple5)] Erin is kind.[(triple6)] Erin is quiet.[(triple7)] Erin is round.[(triple8 OR ((triple7) -> rule8))] Erin is white.[(triple9)] Gary is not round.[(triple10)] @1: Bob is nice.[(((triple3) -> rule4))] Erin is not furry.[(((triple7) -> rule1))] @2: Bob is furry.[(((((triple3) -> rule4)) -> rule3))] @3: Bob is kind.[(((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule3)) -> rule7))]