Dave is round. Dave is young. Erin is big. Erin is furry. Erin is green. Erin is white. Fiona is furry. Fiona is white. Gary is big. Gary is furry. Gary is green. Gary is quiet. Gary is round. Gary is white. Gary is young. Quiet people are round. All furry people are quiet. If Dave is round then Dave is furry. If someone is furry then they are big. If someone is white and furry then they are young. All young, quiet people are green. Big, white people are quiet. All green people are young.
Erin is young.
@0: Dave is round.[(triple1)] Dave is young.[(triple2)] Erin is big.[(triple3 OR ((triple4) -> rule4))] Erin is furry.[(triple4)] Erin is green.[(triple5 OR ((((triple6 triple4) -> rule5) ((triple4) -> rule2)) -> rule6) OR ((((triple6 triple4) -> rule5) ((triple3 triple6) -> rule7)) -> rule6) OR ((((triple6 triple4) -> rule5) ((((triple4) -> rule4) triple6) -> rule7)) -> rule6))] Erin is white.[(triple6)] Fiona is furry.[(triple7)] Fiona is white.[(triple8)] Gary is big.[(triple9 OR ((triple10) -> rule4))] Gary is furry.[(triple10)] Gary is green.[(triple11 OR ((triple15 triple12) -> rule6) OR ((triple15 ((triple10) -> rule2)) -> rule6) OR ((triple15 ((triple9 triple14) -> rule7)) -> rule6) OR ((((triple14 triple10) -> rule5) triple12) -> rule6) OR ((((triple14 triple10) -> rule5) ((triple10) -> rule2)) -> rule6) OR ((((triple14 triple10) -> rule5) ((triple9 triple14) -> rule7)) -> rule6) OR ((triple15 ((((triple10) -> rule4) triple14) -> rule7)) -> rule6) OR ((((triple14 triple10) -> rule5) ((((triple10) -> rule4) triple14) -> rule7)) -> rule6))] Gary is quiet.[(triple12 OR ((triple10) -> rule2) OR ((triple9 triple14) -> rule7) OR ((((triple10) -> rule4) triple14) -> rule7))] Gary is round.[(triple13 OR ((triple12) -> rule1) OR ((((triple10) -> rule2)) -> rule1) OR ((((triple9 triple14) -> rule7)) -> rule1) OR ((((((triple10) -> rule4) triple14) -> rule7)) -> rule1))] Gary is white.[(triple14)] Gary is young.[(triple15 OR ((triple11) -> rule8) OR ((triple14 triple10) -> rule5))] @1: Dave is furry.[(((triple1) -> rule3))] Erin is quiet.[(((triple4) -> rule2) OR ((triple3 triple6) -> rule7) OR ((((triple4) -> rule4) triple6) -> rule7))] Erin is young.[(((triple5) -> rule8) OR ((triple6 triple4) -> rule5))] Fiona is big.[(((triple7) -> rule4))] Fiona is quiet.[(((triple7) -> rule2) OR ((((triple7) -> rule4) triple8) -> rule7))] Fiona is young.[(((triple8 triple7) -> rule5))] @2: Dave is big.[(((((triple1) -> rule3)) -> rule4))] Dave is quiet.[(((((triple1) -> rule3)) -> rule2))] Erin is round.[(((((triple4) -> rule2)) -> rule1) OR ((((triple3 triple6) -> rule7)) -> rule1) OR ((((((triple4) -> rule4) triple6) -> rule7)) -> rule1))] Fiona is green.[(((((triple8 triple7) -> rule5) ((triple7) -> rule2)) -> rule6) OR ((((triple8 triple7) -> rule5) ((((triple7) -> rule4) triple8) -> rule7)) -> rule6))] Fiona is round.[(((((triple7) -> rule2)) -> rule1) OR ((((((triple7) -> rule4) triple8) -> rule7)) -> rule1))] @3: Dave is green.[(((triple2 ((((triple1) -> rule3)) -> rule2)) -> rule6))]