Bob is smart. Bob is white. Fiona is white. Nice, quiet things are white. All nice things are not quiet. If something is white then it is not furry. All white things are nice. Big things are not kind. If something is nice and not quiet then it is not big. If Fiona is white and Fiona is big then Fiona is smart. If something is kind then it is smart.
Bob is not quiet.
@0: Bob is smart.[(triple1)] Bob is white.[(triple2)] Fiona is white.[(triple3)] @1: Bob is nice.[(((triple2) -> rule4))] Bob is not furry.[(((triple2) -> rule3))] Fiona is nice.[(((triple3) -> rule4))] Fiona is not furry.[(((triple3) -> rule3))] @2: Bob is not quiet.[(((((triple2) -> rule4)) -> rule2))] Fiona is not quiet.[(((((triple3) -> rule4)) -> rule2))] @3: Bob is not big.[(((((triple2) -> rule4) ((((triple2) -> rule4)) -> rule2)) -> rule6))] Fiona is not big.[(((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule2)) -> rule6))]