Anne is furry. Anne is nice. Bob is kind. Bob is rough. Erin is red. Erin is rough. Fiona is rough. Furry, nice people are red. If someone is nice and rough then they are not red. All nice, red people are quiet. If someone is quiet and nice then they are not rough. Nice, cold people are kind. If Erin is cold then Erin is not kind. If someone is nice and not rough then they are cold.
Anne is kind.
@0: Anne is furry.[(triple1)] Anne is nice.[(triple2)] Bob is kind.[(triple3)] Bob is rough.[(triple4)] Erin is red.[(triple5)] Erin is rough.[(triple6)] Fiona is rough.[(triple7)] @1: Anne is red.[(((triple1 triple2) -> rule1))] @2: Anne is quiet.[(((triple2 ((triple1 triple2) -> rule1)) -> rule3))] @3: Anne is not rough.[(((((triple2 ((triple1 triple2) -> rule1)) -> rule3) triple2) -> rule4))] @4: Anne is cold.[(((triple2 ((((triple2 ((triple1 triple2) -> rule1)) -> rule3) triple2) -> rule4)) -> rule7))] @5: Anne is kind.[(((triple2 ((triple2 ((((triple2 ((triple1 triple2) -> rule1)) -> rule3) triple2) -> rule4)) -> rule7)) -> rule5))]