Bob is cold. Bob is not furry. Bob is not green. Bob is nice. Bob is red. Erin is cold. Erin is furry. Erin is green. Erin is kind. Erin is not nice. Erin is quiet. Erin is not red. If Erin is not green then Erin is furry. Quiet, cold things are furry. Quiet, red things are not furry. If something is nice and not green then it is not quiet. Quiet things are kind. Nice things are cold.
Bob is not cold.
@0: Bob is cold.[(triple1 OR ((triple4) -> rule6))] Bob is nice.[(triple4)] Bob is not furry.[(triple2)] Bob is not green.[(triple3)] Bob is red.[(triple5)] Erin is cold.[(triple6)] Erin is furry.[(triple7 OR ((triple11 triple6) -> rule2))] Erin is green.[(triple8)] Erin is kind.[(triple9 OR ((triple11) -> rule5))] Erin is not nice.[(triple10)] Erin is not red.[(triple12)] Erin is quiet.[(triple11)] @1: Bob is not quiet.[(((triple4 triple3) -> rule4))]