Bob is cold. Bob is not nice. Charlie is cold. Charlie is quiet. Charlie is smart. Erin is nice. Gary is furry. Gary is red. Gary is rough. Gary is not smart. If someone is quiet then they are nice. Rough people are quiet. Rough, furry people are red. If Erin is quiet and Erin is not nice then Erin is furry. Cold, rough people are not smart. All furry people are not smart. If Bob is smart then Bob is nice. If someone is smart and not furry then they are cold.
Bob is furry.
@0: Bob is cold.[(triple1)] Bob is not nice.[(triple2)] Charlie is cold.[(triple3)] Charlie is quiet.[(triple4)] Charlie is smart.[(triple5)] Erin is nice.[(triple6)] Gary is furry.[(triple7)] Gary is not smart.[(triple10 OR ((triple7) -> rule6))] Gary is red.[(triple8 OR ((triple9 triple7) -> rule3))] Gary is rough.[(triple9)] @1: Charlie is nice.[(((triple4) -> rule1))] Gary is quiet.[(((triple9) -> rule2))] @2: Gary is nice.[(((((triple9) -> rule2)) -> rule1))]