Bob is furry. Bob is nice. Erin is quiet. Erin is not rough. Erin is smart. Gary is furry. Gary is round. Harry is furry. Harry is not nice. Harry is quiet. Harry is red. Harry is round. All nice, smart things are rough. All rough, round things are quiet. If something is round and not smart then it is nice. If something is red and not rough then it is furry. If something is quiet and nice then it is furry. If something is quiet and smart then it is furry. If something is rough and nice then it is not furry. Furry things are red.
Bob is not red.
@0: Bob is furry.[(triple1)] Bob is nice.[(triple2)] Erin is not rough.[(triple4)] Erin is quiet.[(triple3)] Erin is smart.[(triple5)] Gary is furry.[(triple6)] Gary is round.[(triple7)] Harry is furry.[(triple8)] Harry is not nice.[(triple9)] Harry is quiet.[(triple10)] Harry is red.[(triple11 OR ((triple8) -> rule8))] Harry is round.[(triple12)] @1: Bob is red.[(((triple1) -> rule8))] Erin is furry.[(((triple3 triple5) -> rule6))] Gary is red.[(((triple6) -> rule8))] @2: Erin is red.[(((((triple3 triple5) -> rule6)) -> rule8))]