Anne is green. Anne is rough. Bob is green. Bob is round. Dave is green. Dave is rough. Fiona is cold. All kind things are furry. Green things are round. If something is cold then it is kind. If something is furry then it is green. If Dave is quiet then Dave is not furry. Round things are not quiet. If something is quiet and not kind then it is not rough. All round, cold things are rough.
Bob is not kind.
@0: Anne is green.[(triple1)] Anne is rough.[(triple2)] Bob is green.[(triple3)] Bob is round.[(triple4 OR ((triple3) -> rule2))] Dave is green.[(triple5)] Dave is rough.[(triple6)] Fiona is cold.[(triple7)] @1: Anne is round.[(((triple1) -> rule2))] Bob is not quiet.[(((triple4) -> rule6) OR ((((triple3) -> rule2)) -> rule6))] Dave is round.[(((triple5) -> rule2))] Fiona is kind.[(((triple7) -> rule3))] @2: Anne is not quiet.[(((((triple1) -> rule2)) -> rule6))] Dave is not quiet.[(((((triple5) -> rule2)) -> rule6))] Fiona is furry.[(((((triple7) -> rule3)) -> rule1))] @3: Fiona is green.[(((((((triple7) -> rule3)) -> rule1)) -> rule4))] @4: Fiona is round.[(((((((((triple7) -> rule3)) -> rule1)) -> rule4)) -> rule2))] @5: Fiona is not quiet.[(((((((((((triple7) -> rule3)) -> rule1)) -> rule4)) -> rule2)) -> rule6))] Fiona is rough.[(((((((((((triple7) -> rule3)) -> rule1)) -> rule4)) -> rule2) triple7) -> rule8))]