Bob is not big. Bob is green. Bob is kind. Bob is white. Bob is young. Dave is big. Dave is kind. Dave is white. Dave is young. Erin is young. Fiona is not big. Fiona is not furry. If Fiona is kind then Fiona is young. If something is furry and not big then it is young. All round things are young. All white things are not furry. All round things are not furry. If Dave is furry and Dave is kind then Dave is round. All big things are round. If something is round and not furry then it is not green.
Fiona is not furry.
@0: Bob is green.[(triple2)] Bob is kind.[(triple3)] Bob is not big.[(triple1)] Bob is white.[(triple4)] Bob is young.[(triple5)] Dave is big.[(triple6)] Dave is kind.[(triple7)] Dave is white.[(triple8)] Dave is young.[(triple9 OR ((((triple6) -> rule7)) -> rule3))] Erin is young.[(triple10)] Fiona is not big.[(triple11)] Fiona is not furry.[(triple12)] @1: Bob is not furry.[(((triple4) -> rule4))] Dave is not furry.[(((triple8) -> rule4) OR ((((triple6) -> rule7)) -> rule5))] Dave is round.[(((triple6) -> rule7))] @2: Dave is not green.[(((((triple6) -> rule7) ((triple8) -> rule4)) -> rule8) OR ((((triple6) -> rule7) ((((triple6) -> rule7)) -> rule5)) -> rule8))]