Dave is furry. Dave is kind. Erin is green. Erin is round. Erin is young. Fiona is big. Fiona is furry. Fiona is green. Fiona is not kind. Fiona is round. Fiona is white. Gary is furry. Gary is white. Gary is young. If something is young then it is round. All white things are big. If something is white and young then it is big. Green, furry things are white. If something is furry then it is green. All big things are young.
Erin is not white.
@0: Dave is furry.[(triple1)] Dave is kind.[(triple2)] Erin is green.[(triple3)] Erin is round.[(triple4 OR ((triple5) -> rule1))] Erin is young.[(triple5)] Fiona is big.[(triple6 OR ((triple11) -> rule2) OR ((((triple8 triple7) -> rule4)) -> rule2) OR ((((((triple7) -> rule5) triple7) -> rule4)) -> rule2))] Fiona is furry.[(triple7)] Fiona is green.[(triple8 OR ((triple7) -> rule5))] Fiona is not kind.[(triple9)] Fiona is round.[(triple10 OR ((((triple6) -> rule6)) -> rule1) OR ((((((triple11) -> rule2)) -> rule6)) -> rule1) OR ((((((((triple8 triple7) -> rule4)) -> rule2)) -> rule6)) -> rule1) OR ((((((((((triple7) -> rule5) triple7) -> rule4)) -> rule2)) -> rule6)) -> rule1))] Fiona is white.[(triple11 OR ((triple8 triple7) -> rule4) OR ((((triple7) -> rule5) triple7) -> rule4))] Gary is furry.[(triple12)] Gary is white.[(triple13 OR ((((triple12) -> rule5) triple12) -> rule4))] Gary is young.[(triple14 OR ((((triple13) -> rule2)) -> rule6) OR ((((((((triple12) -> rule5) triple12) -> rule4)) -> rule2)) -> rule6))] @1: Dave is green.[(((triple1) -> rule5))] Fiona is young.[(((triple6) -> rule6) OR ((((triple11) -> rule2)) -> rule6) OR ((((((triple8 triple7) -> rule4)) -> rule2)) -> rule6) OR ((((((((triple7) -> rule5) triple7) -> rule4)) -> rule2)) -> rule6))] Gary is big.[(((triple13) -> rule2) OR ((triple13 triple14) -> rule3) OR ((((((triple12) -> rule5) triple12) -> rule4)) -> rule2) OR ((((((triple12) -> rule5) triple12) -> rule4) triple14) -> rule3))] Gary is green.[(((triple12) -> rule5))] Gary is round.[(((triple14) -> rule1) OR ((((((triple13) -> rule2)) -> rule6)) -> rule1) OR ((((((((((triple12) -> rule5) triple12) -> rule4)) -> rule2)) -> rule6)) -> rule1))] @2: Dave is white.[(((((triple1) -> rule5) triple1) -> rule4))] @3: Dave is big.[(((((((triple1) -> rule5) triple1) -> rule4)) -> rule2))] @4: Dave is young.[(((((((((triple1) -> rule5) triple1) -> rule4)) -> rule2)) -> rule6))] @5: Dave is round.[(((((((((((triple1) -> rule5) triple1) -> rule4)) -> rule2)) -> rule6)) -> rule1))]