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