Bob is cold. Bob is not furry. Bob is not kind. Bob is rough. Bob is smart. Erin is not big. Erin is cold. Erin is furry. Erin is kind. Erin is red. Erin is rough. Erin is smart. If something is kind and not cold then it is red. All cold, smart things are red. If something is big then it is not red. If Erin is red then Erin is kind. Kind, big things are rough. If something is red and not furry then it is rough.
Bob is not red.
@0: Bob is cold.[(triple1)] Bob is not furry.[(triple2)] Bob is not kind.[(triple3)] Bob is rough.[(triple4 OR ((((triple1 triple5) -> rule2) triple2) -> rule6))] Bob is smart.[(triple5)] Erin is cold.[(triple7)] Erin is furry.[(triple8)] Erin is kind.[(triple9 OR ((triple10) -> rule4) OR ((((triple7 triple12) -> rule2)) -> rule4))] Erin is not big.[(triple6)] Erin is red.[(triple10 OR ((triple7 triple12) -> rule2))] Erin is rough.[(triple11)] Erin is smart.[(triple12)] @1: Bob is red.[(((triple1 triple5) -> rule2))]