Dave is blue. Dave is furry. Fiona is blue. Gary is not white. Harry is furry. Harry is green. Harry is white. All green things are smart. If something is blue and furry then it is green. Blue things are kind. If Fiona is kind then Fiona is furry. All kind, furry things are blue. If something is kind then it is white. If something is smart then it is big.
Gary is not green.
@0: Dave is blue.[(triple1)] Dave is furry.[(triple2)] Fiona is blue.[(triple3)] Gary is not white.[(triple4)] Harry is furry.[(triple5)] Harry is green.[(triple6)] Harry is white.[(triple7)] @1: Dave is green.[(((triple1 triple2) -> rule2))] Dave is kind.[(((triple1) -> rule3))] Fiona is kind.[(((triple3) -> rule3))] Harry is smart.[(((triple6) -> rule1))] @2: Dave is smart.[(((((triple1 triple2) -> rule2)) -> rule1))] Dave is white.[(((((triple1) -> rule3)) -> rule6))] Fiona is furry.[(((((triple3) -> rule3)) -> rule4))] Fiona is white.[(((((triple3) -> rule3)) -> rule6))] Harry is big.[(((((triple6) -> rule1)) -> rule7))] @3: Dave is big.[(((((((triple1 triple2) -> rule2)) -> rule1)) -> rule7))] Fiona is green.[(((triple3 ((((triple3) -> rule3)) -> rule4)) -> rule2))] @4: Fiona is smart.[(((((triple3 ((((triple3) -> rule3)) -> rule4)) -> rule2)) -> rule1))] @5: Fiona is big.[(((((((triple3 ((((triple3) -> rule3)) -> rule4)) -> rule2)) -> rule1)) -> rule7))]