Bob is blue. Bob is red. Bob is smart. Fiona is blue. Fiona is furry. Fiona is young. Harry is young. Furry, red people are green. If someone is furry and red then they are blue. All smart, green people are young. If Fiona is furry and Fiona is red then Fiona is kind. If Harry is green and Harry is smart then Harry is red. If Fiona is young and Fiona is smart then Fiona is kind. If Harry is green and Harry is kind then Harry is blue. All furry people are green.
Harry is not blue.
@0: Bob is blue.[(triple1)] Bob is red.[(triple2)] Bob is smart.[(triple3)] Fiona is blue.[(triple4)] Fiona is furry.[(triple5)] Fiona is young.[(triple6)] Harry is young.[(triple7)] @1: Fiona is green.[(((triple5) -> rule8))]