Anne is furry. Anne is kind. Anne is not quiet. Bob is kind. Bob is young. Fiona is big. Fiona is nice. If Anne is young then Anne is not nice. Young things are not furry. If something is round and not furry then it is big. If something is big then it is nice. If something is young and quiet then it is kind. If something is big then it is quiet. Kind things are round. Furry, nice things are round.
Anne is not furry.
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2)] Anne is not quiet.[(triple3)] Bob is kind.[(triple4)] Bob is young.[(triple5)] Fiona is big.[(triple6)] Fiona is nice.[(triple7 OR ((triple6) -> rule4))] @1: Anne is round.[(((triple2) -> rule7))] Bob is not furry.[(((triple5) -> rule2))] Bob is round.[(((triple4) -> rule7))] Fiona is quiet.[(((triple6) -> rule6))] @2: Bob is big.[(((((triple4) -> rule7) ((triple5) -> rule2)) -> rule3))] @3: Bob is nice.[(((((((triple4) -> rule7) ((triple5) -> rule2)) -> rule3)) -> rule4))] Bob is quiet.[(((((((triple4) -> rule7) ((triple5) -> rule2)) -> rule3)) -> rule6))]