Charlie is big. Charlie is cold. Charlie is quiet. Dave is furry. Dave is kind. Fiona is cold. Fiona is furry. All quiet, cold things are big. All quiet, nice things are round. If something is big then it is nice. If something is round then it is big. If something is kind and furry then it is nice. Furry, kind things are quiet.
Charlie is round.
@0: Charlie is big.[(triple1 OR ((triple3 triple2) -> rule1))] Charlie is cold.[(triple2)] Charlie is quiet.[(triple3)] Dave is furry.[(triple4)] Dave is kind.[(triple5)] Fiona is cold.[(triple6)] Fiona is furry.[(triple7)] @1: Charlie is nice.[(((triple1) -> rule3) OR ((((triple3 triple2) -> rule1)) -> rule3))] Dave is nice.[(((triple5 triple4) -> rule5))] Dave is quiet.[(((triple4 triple5) -> rule6))] @2: Charlie is round.[(((triple3 ((triple1) -> rule3)) -> rule2) OR ((triple3 ((((triple3 triple2) -> rule1)) -> rule3)) -> rule2))] Dave is round.[(((((triple4 triple5) -> rule6) ((triple5 triple4) -> rule5)) -> rule2))] @3: Dave is big.[(((((((triple4 triple5) -> rule6) ((triple5 triple4) -> rule5)) -> rule2)) -> rule4))]