Anne is cold. Bob is cold. Dave is young. Harry is kind. All white things are nice. If something is cold and kind then it is rough. All kind things are cold. Rough, cold things are white. If something is nice then it is furry. Furry things are nice. Furry, nice things are white. Young things are kind.
Anne is nice.
@0: Anne is cold.[(triple1)] Bob is cold.[(triple2)] Dave is young.[(triple3)] Harry is kind.[(triple4)] @1: Dave is kind.[(((triple3) -> rule8))] Harry is cold.[(((triple4) -> rule3))] @2: Dave is cold.[(((((triple3) -> rule8)) -> rule3))] Harry is rough.[(((((triple4) -> rule3) triple4) -> rule2))] @3: Dave is rough.[(((((((triple3) -> rule8)) -> rule3) ((triple3) -> rule8)) -> rule2))] Harry is white.[(((((((triple4) -> rule3) triple4) -> rule2) ((triple4) -> rule3)) -> rule4))] @4: Dave is white.[(((((((((triple3) -> rule8)) -> rule3) ((triple3) -> rule8)) -> rule2) ((((triple3) -> rule8)) -> rule3)) -> rule4))] Harry is nice.[(((((((((triple4) -> rule3) triple4) -> rule2) ((triple4) -> rule3)) -> rule4)) -> rule1))] @5: Dave is nice.[(((((((((((triple3) -> rule8)) -> rule3) ((triple3) -> rule8)) -> rule2) ((((triple3) -> rule8)) -> rule3)) -> rule4)) -> rule1))] Harry is furry.[(((((((((((triple4) -> rule3) triple4) -> rule2) ((triple4) -> rule3)) -> rule4)) -> rule1)) -> rule5))] @6: Dave is furry.[(((((((((((((triple3) -> rule8)) -> rule3) ((triple3) -> rule8)) -> rule2) ((((triple3) -> rule8)) -> rule3)) -> rule4)) -> rule1)) -> rule5))]