Anne is furry. Anne is smart. Fiona is big. Fiona is blue. Fiona is furry. Fiona is nice. Fiona is round. Fiona is smart. Fiona is white. Harry is big. Harry is blue. Harry is furry. Harry is nice. Harry is round. Harry is smart. Harry is white. If something is smart then it is big. If Anne is nice and Anne is smart then Anne is blue. If something is white then it is blue. If something is blue and round then it is smart. All smart, big things are white. All white, blue things are furry. Blue things are nice. All nice, big things are furry.
Anne is not blue.
@0: Anne is furry.[(triple1 OR ((((triple2 ((triple2) -> rule1)) -> rule5) ((((triple2 ((triple2) -> rule1)) -> rule5)) -> rule3)) -> rule6) OR ((((((((triple2 ((triple2) -> rule1)) -> rule5)) -> rule3)) -> rule7) ((triple2) -> rule1)) -> rule8))] Anne is smart.[(triple2)] Fiona is big.[(triple3 OR ((triple8) -> rule1) OR ((((triple4 triple7) -> rule4)) -> rule1) OR ((((((triple9) -> rule3) triple7) -> rule4)) -> rule1))] Fiona is blue.[(triple4 OR ((triple9) -> rule3) OR ((((triple8 triple3) -> rule5)) -> rule3) OR ((((triple8 ((triple8) -> rule1)) -> rule5)) -> rule3))] Fiona is furry.[(triple5 OR ((triple6 triple3) -> rule8) OR ((triple9 triple4) -> rule6) OR ((triple6 ((triple8) -> rule1)) -> rule8) OR ((triple9 ((triple9) -> rule3)) -> rule6) OR ((((triple4) -> rule7) triple3) -> rule8) OR ((((triple8 triple3) -> rule5) triple4) -> rule6) OR ((((triple4) -> rule7) ((triple8) -> rule1)) -> rule8) OR ((((triple8 triple3) -> rule5) ((triple9) -> rule3)) -> rule6) OR ((triple6 ((((triple4 triple7) -> rule4)) -> rule1)) -> rule8) OR ((triple9 ((((triple8 triple3) -> rule5)) -> rule3)) -> rule6) OR ((((((triple9) -> rule3)) -> rule7) triple3) -> rule8) OR ((((triple8 ((triple8) -> rule1)) -> rule5) triple4) -> rule6) OR ((((((triple4 triple7) -> rule4) triple3) -> rule5) triple4) -> rule6) OR ((((triple4) -> rule7) ((((triple4 triple7) -> rule4)) -> rule1)) -> rule8) OR ((((((triple9) -> rule3)) -> rule7) ((triple8) -> rule1)) -> rule8) OR ((((triple8 triple3) -> rule5) ((((triple8 triple3) -> rule5)) -> rule3)) -> rule6) OR ((((triple8 ((triple8) -> rule1)) -> rule5) ((triple9) -> rule3)) -> rule6) OR ((((((triple4 triple7) -> rule4) triple3) -> rule5) ((triple9) -> rule3)) -> rule6) OR ((((((triple4 triple7) -> rule4) ((triple8) -> rule1)) -> rule5) triple4) -> rule6) OR ((((((triple9) -> rule3)) -> rule7) ((((triple4 triple7) -> rule4)) -> rule1)) -> rule8) OR ((((triple8 ((triple8) -> rule1)) -> rule5) ((((triple8 triple3) -> rule5)) -> rule3)) -> rule6) OR ((((((triple4 triple7) -> rule4) triple3) -> rule5) ((((triple8 triple3) -> rule5)) -> rule3)) -> rule6) OR ((((((triple4 triple7) -> rule4) ((triple8) -> rule1)) -> rule5) ((triple9) -> rule3)) -> rule6) OR ((((((triple4 triple7) -> rule4) ((triple8) -> rule1)) -> rule5) ((((triple8 triple3) -> rule5)) -> rule3)) -> rule6) OR ((triple6 ((((((triple9) -> rule3) triple7) -> rule4)) -> rule1)) -> rule8) OR ((triple9 ((((triple8 ((triple8) -> rule1)) -> rule5)) -> rule3)) -> rule6) OR ((((((((triple8 triple3) -> rule5)) -> rule3)) -> rule7) triple3) -> rule8) OR ((((triple8 ((((triple4 triple7) -> rule4)) -> rule1)) -> rule5) triple4) -> rule6) OR ((((triple4) -> rule7) ((((((triple9) -> rule3) triple7) -> rule4)) -> rule1)) -> rule8) OR ((((((((triple8 triple3) -> rule5)) -> rule3)) -> rule7) ((triple8) -> rule1)) -> rule8) OR ((((triple8 triple3) -> rule5) ((((triple8 ((triple8) -> rule1)) -> rule5)) -> rule3)) -> rule6) OR ((((triple8 ((((triple4 triple7) -> rule4)) -> rule1)) -> rule5) ((triple9) -> rule3)) -> rule6) OR ((((((triple4 triple7) -> rule4) ((((triple4 triple7) -> rule4)) -> rule1)) -> rule5) triple4) -> rule6) OR ((((((triple9) -> rule3)) -> rule7) ((((((triple9) -> rule3) triple7) -> rule4)) -> rule1)) -> rule8) OR ((((((((triple8 triple3) -> rule5)) -> rule3)) -> rule7) ((((triple4 triple7) -> rule4)) -> rule1)) -> rule8) OR ((((triple8 ((triple8) -> rule1)) -> rule5) ((((triple8 ((triple8) -> rule1)) -> rule5)) -> rule3)) -> rule6) OR ((((triple8 ((((triple4 triple7) -> rule4)) -> rule1)) -> rule5) ((((triple8 triple3) -> rule5)) -> rule3)) -> rule6) OR ((((((triple4 triple7) -> rule4) triple3) -> rule5) ((((triple8 ((triple8) -> rule1)) -> rule5)) -> rule3)) -> rule6) OR ((((((triple4 triple7) -> rule4) ((((triple4 triple7) -> rule4)) -> rule1)) -> rule5) ((triple9) -> rule3)) -> rule6) OR ((((((((triple8 triple3) -> rule5)) -> rule3)) -> rule7) ((((((triple9) -> rule3) triple7) -> rule4)) -> rule1)) -> rule8) OR ((((triple8 ((((triple4 triple7) -> rule4)) -> rule1)) -> rule5) ((((triple8 ((triple8) -> rule1)) -> rule5)) -> rule3)) -> rule6) OR ((((((triple4 triple7) -> rule4) ((triple8) -> rule1)) -> rule5) ((((triple8 ((triple8) -> rule1)) -> rule5)) -> rule3)) -> rule6) OR ((((((triple4 triple7) -> rule4) ((((triple4 triple7) -> rule4)) -> rule1)) -> rule5) ((((triple8 triple3) -> rule5)) -> rule3)) -> rule6) OR ((((((triple4 triple7) -> rule4) ((((triple4 triple7) -> rule4)) -> rule1)) -> rule5) ((((triple8 ((triple8) -> rule1)) -> rule5)) -> rule3)) -> rule6) OR ((((((((triple8 ((triple8) -> rule1)) -> rule5)) -> rule3)) -> rule7) triple3) -> rule8) OR ((((((((triple8 ((triple8) -> rule1)) -> rule5)) -> rule3)) -> rule7) ((triple8) -> rule1)) -> rule8) OR ((((((((triple8 ((triple8) -> rule1)) -> rule5)) -> rule3)) -> rule7) ((((triple4 triple7) -> rule4)) -> rule1)) -> rule8) OR ((((((((triple8 ((triple8) -> rule1)) -> rule5)) -> rule3)) -> rule7) ((((((triple9) -> rule3) triple7) -> rule4)) -> rule1)) -> rule8))] Fiona is nice.[(triple6 OR ((triple4) -> rule7) OR ((((triple9) -> rule3)) -> rule7) OR ((((((triple8 triple3) -> rule5)) -> rule3)) -> rule7) OR ((((((triple8 ((triple8) -> rule1)) -> rule5)) -> rule3)) -> rule7))] Fiona is round.[(triple7)] Fiona is smart.[(triple8 OR ((triple4 triple7) -> rule4) OR ((((triple9) -> rule3) triple7) -> rule4))] Fiona is white.[(triple9 OR ((triple8 triple3) -> rule5) OR ((triple8 ((triple8) -> rule1)) -> rule5) OR ((((triple4 triple7) -> rule4) triple3) -> rule5) OR ((((triple4 triple7) -> rule4) ((triple8) -> rule1)) -> rule5) OR ((triple8 ((((triple4 triple7) -> rule4)) -> rule1)) -> rule5) OR ((((triple4 triple7) -> rule4) ((((triple4 triple7) -> rule4)) -> rule1)) -> rule5))] Harry is big.[(triple10 OR ((triple15) -> rule1) OR ((((triple11 triple14) -> rule4)) -> rule1) OR ((((((triple16) -> rule3) triple14) -> rule4)) -> rule1))] Harry is blue.[(triple11 OR ((triple16) -> rule3) OR ((((triple15 triple10) -> rule5)) -> rule3) OR ((((triple15 ((triple15) -> rule1)) -> rule5)) -> rule3))] Harry is furry.[(triple12 OR ((triple13 triple10) -> rule8) OR ((triple16 triple11) -> rule6) OR ((triple13 ((triple15) -> rule1)) -> rule8) OR ((triple16 ((triple16) -> rule3)) -> rule6) OR ((((triple11) -> rule7) triple10) -> rule8) OR ((((triple15 triple10) -> rule5) triple11) -> rule6) OR ((((triple11) -> rule7) ((triple15) -> rule1)) -> rule8) OR ((((triple15 triple10) -> rule5) ((triple16) -> rule3)) -> rule6) OR ((triple13 ((((triple11 triple14) -> rule4)) -> rule1)) -> rule8) OR ((triple16 ((((triple15 triple10) -> rule5)) -> rule3)) -> rule6) OR ((((((triple16) -> rule3)) -> rule7) triple10) -> rule8) OR ((((triple15 ((triple15) -> rule1)) -> rule5) triple11) -> rule6) OR ((((((triple11 triple14) -> rule4) triple10) -> rule5) triple11) -> rule6) OR ((((triple11) -> rule7) ((((triple11 triple14) -> rule4)) -> rule1)) -> rule8) OR ((((((triple16) -> rule3)) -> rule7) ((triple15) -> rule1)) -> rule8) OR ((((triple15 triple10) -> rule5) ((((triple15 triple10) -> rule5)) -> rule3)) -> rule6) OR ((((triple15 ((triple15) -> rule1)) -> rule5) ((triple16) -> rule3)) -> rule6) OR ((((((triple11 triple14) -> rule4) triple10) -> rule5) ((triple16) -> rule3)) -> rule6) OR ((((((triple11 triple14) -> rule4) ((triple15) -> rule1)) -> rule5) triple11) -> rule6) OR ((((((triple16) -> rule3)) -> rule7) ((((triple11 triple14) -> rule4)) -> rule1)) -> rule8) OR ((((triple15 ((triple15) -> rule1)) -> rule5) ((((triple15 triple10) -> rule5)) -> rule3)) -> rule6) OR ((((((triple11 triple14) -> rule4) triple10) -> rule5) ((((triple15 triple10) -> rule5)) -> rule3)) -> rule6) OR ((((((triple11 triple14) -> rule4) ((triple15) -> rule1)) -> rule5) ((triple16) -> rule3)) -> rule6) OR ((((((triple11 triple14) -> rule4) ((triple15) -> rule1)) -> rule5) ((((triple15 triple10) -> rule5)) -> rule3)) -> rule6) OR ((triple13 ((((((triple16) -> rule3) triple14) -> rule4)) -> rule1)) -> rule8) OR ((triple16 ((((triple15 ((triple15) -> rule1)) -> rule5)) -> rule3)) -> rule6) OR ((((((((triple15 triple10) -> rule5)) -> rule3)) -> rule7) triple10) -> rule8) OR ((((triple15 ((((triple11 triple14) -> rule4)) -> rule1)) -> rule5) triple11) -> rule6) OR ((((triple11) -> rule7) ((((((triple16) -> rule3) triple14) -> rule4)) -> rule1)) -> rule8) OR ((((((((triple15 triple10) -> rule5)) -> rule3)) -> rule7) ((triple15) -> rule1)) -> rule8) OR ((((triple15 triple10) -> rule5) ((((triple15 ((triple15) -> rule1)) -> rule5)) -> rule3)) -> rule6) OR ((((triple15 ((((triple11 triple14) -> rule4)) -> rule1)) -> rule5) ((triple16) -> rule3)) -> rule6) OR ((((((triple11 triple14) -> rule4) ((((triple11 triple14) -> rule4)) -> rule1)) -> rule5) triple11) -> rule6) OR ((((((triple16) -> rule3)) -> rule7) ((((((triple16) -> rule3) triple14) -> rule4)) -> rule1)) -> rule8) OR ((((((((triple15 triple10) -> rule5)) -> rule3)) -> rule7) ((((triple11 triple14) -> rule4)) -> rule1)) -> rule8) OR ((((triple15 ((triple15) -> rule1)) -> rule5) ((((triple15 ((triple15) -> rule1)) -> rule5)) -> rule3)) -> rule6) OR ((((triple15 ((((triple11 triple14) -> rule4)) -> rule1)) -> rule5) ((((triple15 triple10) -> rule5)) -> rule3)) -> rule6) OR ((((((triple11 triple14) -> rule4) triple10) -> rule5) ((((triple15 ((triple15) -> rule1)) -> rule5)) -> rule3)) -> rule6) OR ((((((triple11 triple14) -> rule4) ((((triple11 triple14) -> rule4)) -> rule1)) -> rule5) ((triple16) -> rule3)) -> rule6) OR ((((((((triple15 triple10) -> rule5)) -> rule3)) -> rule7) ((((((triple16) -> rule3) triple14) -> rule4)) -> rule1)) -> rule8) OR ((((triple15 ((((triple11 triple14) -> rule4)) -> rule1)) -> rule5) ((((triple15 ((triple15) -> rule1)) -> rule5)) -> rule3)) -> rule6) OR ((((((triple11 triple14) -> rule4) ((triple15) -> rule1)) -> rule5) ((((triple15 ((triple15) -> rule1)) -> rule5)) -> rule3)) -> rule6) OR ((((((triple11 triple14) -> rule4) ((((triple11 triple14) -> rule4)) -> rule1)) -> rule5) ((((triple15 triple10) -> rule5)) -> rule3)) -> rule6) OR ((((((triple11 triple14) -> rule4) ((((triple11 triple14) -> rule4)) -> rule1)) -> rule5) ((((triple15 ((triple15) -> rule1)) -> rule5)) -> rule3)) -> rule6) OR ((((((((triple15 ((triple15) -> rule1)) -> rule5)) -> rule3)) -> rule7) triple10) -> rule8) OR ((((((((triple15 ((triple15) -> rule1)) -> rule5)) -> rule3)) -> rule7) ((triple15) -> rule1)) -> rule8) OR ((((((((triple15 ((triple15) -> rule1)) -> rule5)) -> rule3)) -> rule7) ((((triple11 triple14) -> rule4)) -> rule1)) -> rule8) OR ((((((((triple15 ((triple15) -> rule1)) -> rule5)) -> rule3)) -> rule7) ((((((triple16) -> rule3) triple14) -> rule4)) -> rule1)) -> rule8))] Harry is nice.[(triple13 OR ((triple11) -> rule7) OR ((((triple16) -> rule3)) -> rule7) OR ((((((triple15 triple10) -> rule5)) -> rule3)) -> rule7) OR ((((((triple15 ((triple15) -> rule1)) -> rule5)) -> rule3)) -> rule7))] Harry is round.[(triple14)] Harry is smart.[(triple15 OR ((triple11 triple14) -> rule4) OR ((((triple16) -> rule3) triple14) -> rule4))] Harry is white.[(triple16 OR ((triple15 triple10) -> rule5) OR ((triple15 ((triple15) -> rule1)) -> rule5) OR ((((triple11 triple14) -> rule4) triple10) -> rule5) OR ((((triple11 triple14) -> rule4) ((triple15) -> rule1)) -> rule5) OR ((triple15 ((((triple11 triple14) -> rule4)) -> rule1)) -> rule5) OR ((((triple11 triple14) -> rule4) ((((triple11 triple14) -> rule4)) -> rule1)) -> rule5))] @1: Anne is big.[(((triple2) -> rule1))] @2: Anne is white.[(((triple2 ((triple2) -> rule1)) -> rule5))] @3: Anne is blue.[(((((triple2 ((triple2) -> rule1)) -> rule5)) -> rule3))] @4: Anne is nice.[(((((((triple2 ((triple2) -> rule1)) -> rule5)) -> rule3)) -> rule7))]