Bob is furry. Bob is green. Bob is kind. Bob is quiet. Bob is smart. Bob is young. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is white. Fiona is not young. Gary is furry. Gary is green. Gary is kind. Gary is smart. Gary is young. All young, smart people are furry. If someone is quiet then they are furry. If Gary is quiet and Gary is smart then Gary is white. If someone is kind and not green then they are white. Young people are not white. If someone is quiet and not smart then they are not white. If Gary is kind and Gary is not white then Gary is furry. If Bob is not white then Bob is furry.
Fiona is not white.
@0: Bob is furry.[(triple1 OR ((triple4) -> rule2) OR ((triple6 triple5) -> rule1) OR ((((triple6) -> rule5)) -> rule8))] Bob is green.[(triple2)] Bob is kind.[(triple3)] Bob is quiet.[(triple4)] Bob is smart.[(triple5)] Bob is young.[(triple6)] Fiona is green.[(triple7)] Fiona is kind.[(triple8)] Fiona is not young.[(triple11)] Fiona is quiet.[(triple9)] Fiona is white.[(triple10)] Gary is furry.[(triple12 OR ((triple16 triple15) -> rule1) OR ((triple14 ((triple16) -> rule5)) -> rule7))] Gary is green.[(triple13)] Gary is kind.[(triple14)] Gary is smart.[(triple15)] Gary is young.[(triple16)] @1: Bob is not white.[(((triple6) -> rule5))] Fiona is furry.[(((triple9) -> rule2))] Gary is not white.[(((triple16) -> rule5))]