Anne is not green. Anne is white. Charlie is not big. Charlie is furry. Charlie is not green. Charlie is kind. Charlie is quiet. Charlie is round. Charlie is white. Fiona is big. Fiona is furry. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is round. Fiona is white. If Anne is big and Anne is furry then Anne is white. If something is big then it is furry. If something is big then it is furry. If Fiona is furry then Fiona is green. Furry, green things are kind. If Anne is quiet and Anne is green then Anne is kind. All white, kind things are quiet. If something is big and not green then it is white.
Fiona is not round.
@0: Anne is not green.[(triple1)] Anne is white.[(triple2)] Charlie is furry.[(triple4)] Charlie is kind.[(triple6)] Charlie is not big.[(triple3)] Charlie is not green.[(triple5)] Charlie is quiet.[(triple7 OR ((triple9 triple6) -> rule7))] Charlie is round.[(triple8)] Charlie is white.[(triple9)] Fiona is big.[(triple10)] Fiona is furry.[(triple11 OR ((triple10) -> rule2) OR ((triple10) -> rule3))] Fiona is green.[(triple12 OR ((triple11) -> rule4) OR ((((triple10) -> rule2)) -> rule4) OR ((((triple10) -> rule3)) -> rule4))] Fiona is kind.[(triple13 OR ((triple11 triple12) -> rule5) OR ((triple11 ((triple11) -> rule4)) -> rule5) OR ((((triple10) -> rule2) triple12) -> rule5) OR ((((triple10) -> rule3) triple12) -> rule5) OR ((((triple10) -> rule2) ((triple11) -> rule4)) -> rule5) OR ((((triple10) -> rule3) ((triple11) -> rule4)) -> rule5) OR ((triple11 ((((triple10) -> rule2)) -> rule4)) -> rule5) OR ((triple11 ((((triple10) -> rule3)) -> rule4)) -> rule5) OR ((((triple10) -> rule2) ((((triple10) -> rule2)) -> rule4)) -> rule5) OR ((((triple10) -> rule2) ((((triple10) -> rule3)) -> rule4)) -> rule5) OR ((((triple10) -> rule3) ((((triple10) -> rule2)) -> rule4)) -> rule5) OR ((((triple10) -> rule3) ((((triple10) -> rule3)) -> rule4)) -> rule5))] Fiona is quiet.[(triple14 OR ((triple16 triple13) -> rule7) OR ((triple16 ((triple11 triple12) -> rule5)) -> rule7) OR ((triple16 ((triple11 ((triple11) -> rule4)) -> rule5)) -> rule7) OR ((triple16 ((((triple10) -> rule2) triple12) -> rule5)) -> rule7) OR ((triple16 ((((triple10) -> rule3) triple12) -> rule5)) -> rule7) OR ((triple16 ((((triple10) -> rule2) ((triple11) -> rule4)) -> rule5)) -> rule7) OR ((triple16 ((((triple10) -> rule3) ((triple11) -> rule4)) -> rule5)) -> rule7) OR ((triple16 ((triple11 ((((triple10) -> rule2)) -> rule4)) -> rule5)) -> rule7) OR ((triple16 ((triple11 ((((triple10) -> rule3)) -> rule4)) -> rule5)) -> rule7) OR ((triple16 ((((triple10) -> rule2) ((((triple10) -> rule2)) -> rule4)) -> rule5)) -> rule7) OR ((triple16 ((((triple10) -> rule2) ((((triple10) -> rule3)) -> rule4)) -> rule5)) -> rule7) OR ((triple16 ((((triple10) -> rule3) ((((triple10) -> rule2)) -> rule4)) -> rule5)) -> rule7) OR ((triple16 ((((triple10) -> rule3) ((((triple10) -> rule3)) -> rule4)) -> rule5)) -> rule7))] Fiona is round.[(triple15)] Fiona is white.[(triple16)]