Bob is red. Bob is round. Charlie is green. Charlie is white. Dave is blue. Dave is green. Fiona is kind. If something is green then it is nice. All nice things are round. All green things are round. Blue, green things are kind. Kind things are blue. If something is white then it is blue.
Bob is not blue.
@0: Bob is red.[(triple1)] Bob is round.[(triple2)] Charlie is green.[(triple3)] Charlie is white.[(triple4)] Dave is blue.[(triple5)] Dave is green.[(triple6)] Fiona is kind.[(triple7)] @1: Charlie is blue.[(((triple4) -> rule6))] Charlie is nice.[(((triple3) -> rule1))] Charlie is round.[(((triple3) -> rule3) OR ((((triple3) -> rule1)) -> rule2))] Dave is kind.[(((triple5 triple6) -> rule4))] Dave is nice.[(((triple6) -> rule1))] Dave is round.[(((triple6) -> rule3) OR ((((triple6) -> rule1)) -> rule2))] Fiona is blue.[(((triple7) -> rule5))] @2: Charlie is kind.[(((((triple4) -> rule6) triple3) -> rule4))]