Dave is not kind. Erin is kind. Erin is rough. Fiona is blue. Fiona is kind. Gary is furry. Gary is kind. If something is big and not furry then it is rough. If something is blue and furry then it is rough. If Fiona is kind and Fiona is white then Fiona is blue. All rough, kind things are not white. If something is furry then it is big. All nice, kind things are big. All big, furry things are nice. If something is white then it is kind. If something is furry and nice then it is blue.
Dave is not white.
@0: Dave is not kind.[(triple1)] Erin is kind.[(triple2)] Erin is rough.[(triple3)] Fiona is blue.[(triple4)] Fiona is kind.[(triple5)] Gary is furry.[(triple6)] Gary is kind.[(triple7)] @1: Erin is not white.[(((triple3 triple2) -> rule4))] Gary is big.[(((triple6) -> rule5))] @2: Gary is nice.[(((((triple6) -> rule5) triple6) -> rule7))] @3: Gary is blue.[(((triple6 ((((triple6) -> rule5) triple6) -> rule7)) -> rule9))] @4: Gary is rough.[(((((triple6 ((((triple6) -> rule5) triple6) -> rule7)) -> rule9) triple6) -> rule2))] @5: Gary is not white.[(((((((triple6 ((((triple6) -> rule5) triple6) -> rule7)) -> rule9) triple6) -> rule2) triple7) -> rule4))]