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