Bob is not green. Bob is rough. Bob is white. Dave is not green. Dave is white. Fiona is red. Harry is rough. All smart people are not green. All smart people are red. All rough people are red. If someone is smart and not rough then they are red. All red people are round. If Harry is rough and Harry is red then Harry is smart. If Harry is kind and Harry is rough then Harry is not round. If someone is white and not green then they are not kind.
Fiona is kind.
@0: Bob is not green.[(triple1)] Bob is rough.[(triple2)] Bob is white.[(triple3)] Dave is not green.[(triple4)] Dave is white.[(triple5)] Fiona is red.[(triple6)] Harry is rough.[(triple7)] @1: Bob is not kind.[(((triple3 triple1) -> rule8))] Bob is red.[(((triple2) -> rule3))] Dave is not kind.[(((triple5 triple4) -> rule8))] Fiona is round.[(((triple6) -> rule5))] Harry is red.[(((triple7) -> rule3))] @2: Bob is round.[(((((triple2) -> rule3)) -> rule5))] Harry is round.[(((((triple7) -> rule3)) -> rule5))] Harry is smart.[(((triple7 ((triple7) -> rule3)) -> rule6))] @3: Harry is not green.[(((((triple7 ((triple7) -> rule3)) -> rule6)) -> rule1))]