Anne is nice. Anne is rough. Anne is young. Bob is kind. Bob is nice. Bob is quiet. Erin is kind. If Anne is blue and Anne is nice then Anne is kind. Young people are kind. Young, rough people are kind. If Erin is cold and Erin is nice then Erin is blue. If someone is young then they are quiet. If someone is rough and kind then they are nice. All kind people are young. All blue people are cold.
Anne is not rough.
@0: Anne is nice.[(triple1 OR ((triple2 ((triple3) -> rule2)) -> rule6) OR ((triple2 ((triple3 triple2) -> rule3)) -> rule6))] Anne is rough.[(triple2)] Anne is young.[(triple3)] Bob is kind.[(triple4)] Bob is nice.[(triple5)] Bob is quiet.[(triple6 OR ((((triple4) -> rule7)) -> rule5))] Erin is kind.[(triple7)] @1: Anne is kind.[(((triple3) -> rule2) OR ((triple3 triple2) -> rule3))] Anne is quiet.[(((triple3) -> rule5))] Bob is young.[(((triple4) -> rule7))] Erin is young.[(((triple7) -> rule7))] @2: Erin is quiet.[(((((triple7) -> rule7)) -> rule5))]