Bob is big. Bob is furry. Bob is green. Bob is not kind. Bob is rough. Bob is white. Bob is young. Dave is not furry. Dave is kind. Dave is not young. Erin is not kind. Erin is white. Fiona is not big. Fiona is not white. Fiona is not young. All rough, young people are white. Green people are white. If someone is rough then they are furry. All young people are big. All white people are rough. If someone is furry and not young then they are green.
Dave is not rough.
@0: Bob is big.[(triple1 OR ((triple7) -> rule4))] Bob is furry.[(triple2 OR ((triple5) -> rule3) OR ((((triple6) -> rule5)) -> rule3) OR ((((((triple3) -> rule2)) -> rule5)) -> rule3))] Bob is green.[(triple3)] Bob is not kind.[(triple4)] Bob is rough.[(triple5 OR ((triple6) -> rule5) OR ((((triple3) -> rule2)) -> rule5))] Bob is white.[(triple6 OR ((triple3) -> rule2) OR ((triple5 triple7) -> rule1))] Bob is young.[(triple7)] Dave is kind.[(triple9)] Dave is not furry.[(triple8)] Dave is not young.[(triple10)] Erin is not kind.[(triple11)] Erin is white.[(triple12)] Fiona is not big.[(triple13)] Fiona is not white.[(triple14)] Fiona is not young.[(triple15)] @1: Erin is rough.[(((triple12) -> rule5))] @2: Erin is furry.[(((((triple12) -> rule5)) -> rule3))]