Bob is green. Bob is red. Charlie is round. Dave is green. Fiona is not nice. Fiona is round. Fiona is young. White things are not nice. If something is young and red then it is not nice. If something is green then it is young. All white, smart things are young. Red, smart things are not young. All red, round things are not white. All green things are not smart. If something is young and red then it is round.
Bob is not round.
@0: Bob is green.[(triple1)] Bob is red.[(triple2)] Charlie is round.[(triple3)] Dave is green.[(triple4)] Fiona is not nice.[(triple5)] Fiona is round.[(triple6)] Fiona is young.[(triple7)] @1: Bob is not smart.[(((triple1) -> rule7))] Bob is young.[(((triple1) -> rule3))] Dave is not smart.[(((triple4) -> rule7))] Dave is young.[(((triple4) -> rule3))] @2: Bob is not nice.[(((((triple1) -> rule3) triple2) -> rule2))] Bob is round.[(((((triple1) -> rule3) triple2) -> rule8))] @3: Bob is not white.[(((triple2 ((((triple1) -> rule3) triple2) -> rule8)) -> rule6))]