Anne is blue. Anne is furry. Anne is smart. Bob is nice. Bob is quiet. Bob is rough. Erin is furry. Erin is smart. Harry is furry. Harry is not nice. If someone is nice and not furry then they are not blue. All kind people are blue. If Erin is blue and Erin is kind then Erin is rough. All rough, smart people are nice. If someone is rough and not smart then they are not quiet. If someone is smart and nice then they are quiet. If someone is nice then they are kind. If someone is nice and blue then they are kind. Furry people are kind.
Harry is smart.
@0: Anne is blue.[(triple1 OR ((((triple2) -> rule9)) -> rule2))] Anne is furry.[(triple2)] Anne is smart.[(triple3)] Bob is nice.[(triple4)] Bob is quiet.[(triple5)] Bob is rough.[(triple6)] Erin is furry.[(triple7)] Erin is smart.[(triple8)] Harry is furry.[(triple9)] Harry is not nice.[(triple10)] @1: Anne is kind.[(((triple2) -> rule9))] Bob is kind.[(((triple4) -> rule7))] Erin is kind.[(((triple7) -> rule9))] Harry is kind.[(((triple9) -> rule9))] @2: Bob is blue.[(((((triple4) -> rule7)) -> rule2))] Erin is blue.[(((((triple7) -> rule9)) -> rule2))] Harry is blue.[(((((triple9) -> rule9)) -> rule2))] @3: Erin is rough.[(((((((triple7) -> rule9)) -> rule2) ((triple7) -> rule9)) -> rule3))] @4: Erin is nice.[(((((((((triple7) -> rule9)) -> rule2) ((triple7) -> rule9)) -> rule3) triple8) -> rule4))] @5: Erin is quiet.[(((triple8 ((((((((triple7) -> rule9)) -> rule2) ((triple7) -> rule9)) -> rule3) triple8) -> rule4)) -> rule6))]