Bob is green. Bob is kind. Charlie is green. Charlie is smart. Dave is kind. Dave is round. Fiona is round. All white, smart things are rough. All rough, green things are round. If Dave is white and Dave is rough then Dave is furry. Green, kind things are white. Kind things are smart. All white, rough things are smart.
Fiona is not kind.
@0: Bob is green.[(triple1)] Bob is kind.[(triple2)] Charlie is green.[(triple3)] Charlie is smart.[(triple4)] Dave is kind.[(triple5)] Dave is round.[(triple6)] Fiona is round.[(triple7)] @1: Bob is smart.[(((triple2) -> rule5))] Bob is white.[(((triple1 triple2) -> rule4))] Dave is smart.[(((triple5) -> rule5))] @2: Bob is rough.[(((((triple1 triple2) -> rule4) ((triple2) -> rule5)) -> rule1))] @3: Bob is round.[(((((((triple1 triple2) -> rule4) ((triple2) -> rule5)) -> rule1) triple1) -> rule2))]